diff options
Diffstat (limited to 'website')
| -rw-r--r-- | website/insert-example-output.lua | 11 | ||||
| -rw-r--r-- | website/style.css | 7 |
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; +} |
