summaryrefslogtreecommitdiff
path: root/static
diff options
context:
space:
mode:
Diffstat (limited to 'static')
-rw-r--r--static/debug.css17
-rw-r--r--static/main.css14
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 */