about summary refs log tree commit diff
path: root/website
diff options
context:
space:
mode:
Diffstat (limited to 'website')
-rw-r--r--website/insert-example-output.lua11
-rw-r--r--website/style.css7
2 files changed, 18 insertions, 0 deletions
diff --git a/website/insert-example-output.lua b/website/insert-example-output.lua
new file mode 100644
index 0000000..42639cc
--- /dev/null
+++ b/website/insert-example-output.lua
@@ -0,0 +1,11 @@
+function Header(element)
+   if element.level == 1 and element.attr.identifier == "motivation" then
+      io.input("example-output.html")
+      return {pandoc.RawBlock(
+                 "html",
+                 "<pre id=\"example-output\">"..io.read("*all").."</pre>"),
+              element}
+   else
+      return element
+   end
+end
diff --git a/website/style.css b/website/style.css
index 2ab3b0c..9dd2e29 100644
--- a/website/style.css
+++ b/website/style.css
@@ -22,3 +22,10 @@ code {
 img {
     max-width: 100%;
 }
+
+#example-output {
+    color: white;
+    background-color: black;
+    font-size: smaller;
+    max-width: 400px;
+}