Tweak CSS and formatting

Avoid line breaks in a job link+info.
ncough · Nov 15, 2017 · 675112f · 675112f
1 parent c4c1f28
commit 675112f
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 6 deletions.
diff --git a/serverLib.sml b/serverLib.sml
@@ -609,15 +609,16 @@ in
       val typ = read_job_type inp
                 handle IO.Io _ => cgi_die 500 ["cannot open ",f]
                      | Option => cgi_die 500 [f," has invalid file format"]
-      val attrs = if q = "stopped" then status_attrs (read_status inp) else []
+      val format_type = if q = "stopped" then span (status_attrs (read_status inp)) else String.concat
       val last_date = if q = "running" then read_last_date inp else NONE
       val () = TextIO.closeIn inp
       val ago_string =
         case last_date of NONE => ""
         | SOME date => time_ago date
     in
-      String.concat[a (String.concat[base_url,"/job/",jid]) jid, " ",
-                    span attrs ["(", typ, ")",ago_string]]
+      span [("class","nowrap")]
+        [a (String.concat[base_url,"/job/",jid]) jid, " ",
+         format_type ["(", typ, ")",ago_string]]
     end
 
   fun html_job_list (q,ids) =

diff --git a/style.css b/style.css
@@ -5,12 +5,13 @@ pre { font-size: 20px; }
 pre strong { display: block; margin-top: 1em; }
 pre time { font-size: 18px; }
 time.ago { font-size: 14px; }
-ul { list-style-type: none; font-size: 24px; }
-li { display: inline; padding: 1em; }
+ul { list-style-type: none; font-size: 24px; padding-left: 1em; margin-top: 0em; }
+li { display: inline-block; padding-right: 2em; }
 li span { font-size: 18px; }
 li span.success { color: #0d0 }
 li span.failure { color: #d00 }
+li span.nowrap { white-space: nowrap; }
 a { color: #337ab7; text-decoration: none; }
 a:hover { text-decoration: underline; }
-footer { margin-top: 3em; }
+footer { margin-top: 2em; }
 footer a { padding-right: 2em; }