rst: add custom admonitions, css

Author: doyougnu

_static/css/admonitions.css

@@ -0,0 +1,6 @@
+.admonition.key-idea {
+    background: #FFF0B3;
+}
+.admonition.concept {
+    background :#E6E6FA;
+}

conf.py

@@ -22,7 +22,7 @@
 
 project = 'Haskell Optimization Handbook'
 html_title = 'Haskell Optimization Handbook'
-# FIXME: https://github.com/input-output-hk/hs-opt-handbook.github.io/issues/58
+# FIXME: https://github.com/haskellFoundation/hs-opt-handbook.github.io/issues/58
 copyright = u'2022-%s, Jeffrey Young (doyougnu)' % time.strftime('%Y')
 author = 'Jeffrey Young (doyugnu)'
 
@@ -47,6 +47,7 @@
              , 'sphinx_copybutton'
              # , 'sphinxcontrib.execHS.ext'
              , 'sphinx_exec_directive'
+             , 'conceptual_admonitions'
              ]
 
 # flags
@@ -95,7 +96,7 @@
 html_theme      = "press"
 html_theme_options = { "body_max_width": 1600 }
 html_static_path = ['_static', 'code']
-html_css_files = [ 'css/s4defs-roles.css', 'css/iframe.css' ]
+html_css_files = [ 'css/s4defs-roles.css', 'css/iframe.css', 'css/admonitions.css' ]
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
@@ -106,3 +107,7 @@
 # bibtex file
 bibtex_bibfiles = ['bib/book.bib']
 bibtex_default_style = 'unsrt'
+
+def setup(app):
+    for sheet in html_css_files:
+        app.add_css_file(sheet)

extensions/conceptual_admonitions.py

@@ -0,0 +1,37 @@
+from docutils import nodes
+from docutils.parsers.rst import Directive
+
+from sphinx.locale import _
+from sphinx.util.docutils import SphinxDirective
+
+class keyIdeaDirective(SphinxDirective):
+
+    has_content = True
+
+    def run(self):
+        key_idea_node = keyIdea(self.content)
+        key_idea_node += nodes.Title(_('Key Idea'), _('Key Idea'))
+        self.state.nested_parse(self.content, self.content_offset, key_idea_node)
+        return [key_idea_node]
+
+class keyIdea(nodes.Admonition, nodes.Element):
+    pass
+
+def visit_keyidea_node(self,node):
+    self.visit_admonition(node)
+
+def depart_keyidea_node(self, node):
+    self.depart_admonition(node)
+
+def setup(app):
+    app.add_node(keyIdea,
+                 html=(visit_keyidea_node, depart_keyidea_node),
+                 latex=(visit_keyidea_node, depart_keyidea_node),
+                 text=(visit_keyidea_node, depart_keyidea_node))
+    app.add_directive("keyIdea", keyIdeaDirective)
+
+    return {
+        'version': '0.1',
+        'parallel_read_safe': True,
+        'parallel_write_safe': True,
+    }

src/Case_Studies/sbv_642.rst

@@ -2,3 +2,13 @@
 
 SBV and the Bizarre GHC Regression
 ==================================
+
+.. admonition:: Concept
+   :class: concept
+
+   I'm a concept
+
+.. admonition:: Key Idea
+   :class: key-idea
+
+   I'm a key idea