From 4e7fdd57cbf8f60f674ba48fd04c80ad59a20579 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Sun, 1 Jan 2017 15:00:53 +1100
Subject: Base template tweaked, old Grasp/Thue articles added from previous
 website efforts

---
 project/assets/css/default.css | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

(limited to 'project/assets/css/default.css')

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