From d0488552049f75c33961969a11e20092170cbb84 Mon Sep 17 00:00:00 2001
From: Ramana Kumar <ramana@member.fsf.org>
Date: Sat, 11 Nov 2017 11:15:33 +1100
Subject: [PATCH] Tweak CSS

---
 serverLib.sml | 4 +---
 style.css     | 5 ++++-
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/serverLib.sml b/serverLib.sml
index 00e2925..0064996 100644
--- a/serverLib.sml
+++ b/serverLib.sml
@@ -567,11 +567,9 @@ in
                     span (String.concat ["(", typ, ")"])]
     end
 
-  fun capitalise s = String.concat[String.str(Char.toUpper(String.sub(s,0))),String.extract(s,1,NONE)]
-
   fun html_job_list (q,ids) =
     if List.null ids then []
-    else [h2 (capitalise q), ul (List.map (job_link q) ids)]
+    else [h2 q, ul (List.map (job_link q) ids)]
 
   val cakeml_github = "https://github.com/CakeML/cakeml"
   val hol_github = "https://github.com/HOL-Theorem-Prover/HOL"
diff --git a/style.css b/style.css
index 8f0c4f2..ec6e39a 100644
--- a/style.css
+++ b/style.css
@@ -1,6 +1,9 @@
 h2, h3, h3 a, a:hover { color: #e80 }
-pre { font-size: 18px; }
+h2 { text-transform: capitalize; }
+h3 { font-size: 22px; }
+pre { font-size: 20px; }
 pre strong { display: block; margin-top: 1em; }
+pre time { font-size: 18px; }
 ul { list-style-type: none; font-size: 24px; }
 li { display: inline; padding: 1em; }
 li span { font-size: 18px; }