diff options
Diffstat (limited to 'static')
-rw-r--r-- | static/debug.css | 17 | ||||
-rw-r--r-- | static/main.css | 14 |
2 files changed, 14 insertions, 17 deletions
diff --git a/static/debug.css b/static/debug.css index 57992eb..d24fb5b 100644 --- a/static/debug.css +++ b/static/debug.css @@ -1,8 +1,11 @@ body { margin:2em; background:#fff } -a { color:blue; text-decoration:underline } -a:hover { color:#000 } +a { color:#000;text-decoration: underline } h2 { padding:.25em; border-bottom:1px solid #000; border-top:1px solid #000 } -tr:hover { background:#ccc } +table { + margin-left:auto; + margin-right:auto +} +tr:hover { background:#ddd } td { border-top:1px solid #000 } td.noborder { border:0 } td.left { text-align:left } @@ -16,18 +19,14 @@ td.right { text-align:right } .big { font-size:1.1em } .mono { font-family:monospace } .even { background:#fff } -.odd { background:#eee } +.odd { background: #ffffe0 } .up { text-align:right;margin-right:1em } #svg_b64,#original_svg_b64 { display:none } #floater { float:right; border:1px solid #000; - background:#eee; + background:#ffffe0; padding:1em; margin-top:5em } -table { - margin-left:auto; - margin-right:auto -} diff --git a/static/main.css b/static/main.css index 47f5d6b..26ac814 100644 --- a/static/main.css +++ b/static/main.css @@ -33,7 +33,7 @@ textarea, input { .tiny { font-size:.6em } a { - color: #ccc; + color: #ddd; text-decoration: underline } a:hover { color: #000 } @@ -74,7 +74,7 @@ span#status { float:right } /* Derivation editor */ #derivation_editor input { - background: #eee; + background: #ddd; font-size: 60%; padding: .4em } @@ -85,9 +85,9 @@ p#overview_header { margin:.5em;margin-bottom:.25em;font-weight:bold } 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 #ccc; border-left:1px solid #ccc; padding: .25em } -table#overview tr:hover { background: #ccc } -table#overview .doc_title { background-color: #eee } +table#overview td { border-bottom: 1px solid #ddd; border-left:1px solid #ddd; padding: .25em } +table#overview tr:hover { background: #ddd } +table#overview .doc_title { background-color: #ddd } table#overview td.num { text-align:right; font-style:italic } /* /Session overview */ @@ -119,8 +119,6 @@ div#help { width: 70%; text-align: justify } -div#help a { color:#ccc } -div#help:hover { color: #000 } -div#help:hover a { color: #000 } +div#help a { color:#000;text-decoration:underline } /* /Help */ |