Tweak CSS

ncough · Nov 11, 2017 · d048855 · d048855
1 parent 8aeee37
commit d048855
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git 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
@@ -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; }