Base template tweaked, old Grasp/Thue articles added from previous website efforts

2 files changed, 24 insertions, 0 deletions

diff --git a/project/assets/css/default.css b/project/assets/css/default.css
index a3805ee..7ae93a6 100644
--- a/project/assets/css/default.css
+++ b/project/assets/css/default.css
@@ -9,6 +9,18 @@ body {
 }
 
 
+figure {
+    text-align: center;
+}
+
+
+code {
+    display: block;
+    font-family: monospace;
+    white-space: pre;
+}
+
+
 
 
 /* A bunch of nonsense to make the navbar
@@ -35,3 +47,15 @@ nav ul li {
     line-height: 100%;
 }
 
+
+
+
+/* Formatting the index list differently
+   from regular lists. */
+
+ul.index {
+    text-align: center;
+    list-style-type: none;
+    margin-top: 1.5cm;
+}
+
diff --git a/project/assets/img/grasp_helloworld.png b/project/assets/img/grasp_helloworld.png
new file mode 100755
index 0000000..df5bfff
--- /dev/null
+++ b/project/assets/img/grasp_helloworld.png