From 18f2033852f4888af498394e184b1cb498f08956 Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Mon, 16 Mar 2026 23:00:16 +0000
Subject: Show off example output on the website.

Change-Id: Ia78a5476a786a8894a75ca0e5b763ab19f492554
---
 website/insert-example-output.lua | 11 +++++++++++
 website/style.css                 |  7 +++++++
 2 files changed, 18 insertions(+)
 create mode 100644 website/insert-example-output.lua

(limited to 'website')

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;
+}
-- 
cgit 1.4.1