From 3129ebd825db4136ae8fc1c49d7ed4d6340f8504 Mon Sep 17 00:00:00 2001 From: Patrick Simianer Date: Thu, 29 Oct 2015 13:53:37 +0100 Subject: cosmetics & help --- static/main.css | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) (limited to 'static') diff --git a/static/main.css b/static/main.css index c6220e3..84180c4 100644 --- a/static/main.css +++ b/static/main.css @@ -19,13 +19,17 @@ button { .small { font-size:.8em } .xtrasmall { font-size:.6em } +a { + color: #000; + text-decoration: underline +} + div#wrapper { margin: 2em; padding: 1em } span#status { - display: none; float: right } @@ -50,7 +54,7 @@ span#status { /* Derivation editor */ #derivation_editor input { - background: #ccc; + background: #eee; font-size: 60%; padding: .4em } @@ -60,8 +64,10 @@ span#status { div#overview_wrapper { margin-top:1em } table#overview { font-size:.8em } table#overview td.seg_text { width: 45% } -table#overview td { border-bottom: 1px solid #000 } -table#overview .doc_title { background-color: #eee } +table#overview td { border-bottom: 1px solid #ccc; border-left:1px solid #ccc; padding: .25em } +table#overview tr:hover { background: #ccc } +table#overview .doc_title { background-color: #eee; font-style:italic } +table#overview td.num { text-align:right; font-style:italic} /* /Session overview */ /* Header */ -- cgit v1.2.3