summaryrefslogtreecommitdiff
path: root/static
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2016-01-29 18:21:13 +0100
committerPatrick Simianer <p@simianer.de>2016-01-29 18:21:13 +0100
commite6a35a3d94cd007901fcc2ea8a62a1a3909ebf7a (patch)
tree3ff87e7b9f9aedd7f7b3358ff2e1ee6056d64b93 /static
parente5a850baeb2679af818d36311f75d03d721d1a01 (diff)
interface.php: cleanup
Diffstat (limited to 'static')
-rw-r--r--static/main.css5
1 files changed, 4 insertions, 1 deletions
diff --git a/static/main.css b/static/main.css
index 496e6f8..47f5d6b 100644
--- a/static/main.css
+++ b/static/main.css
@@ -29,7 +29,8 @@ textarea, input {
.bold { font-weight:bold }
.small { font-size:.8em }
-.xtrasmall { font-size:.6em }
+.right { text-align:right }
+.tiny { font-size:.6em }
a {
color: #ccc;
@@ -55,6 +56,7 @@ span#status { float:right }
font-size: 2em;
padding: 0.1em
}
+#placeholder { margin:.4em }
/* /Edit */
/* OOV */
@@ -79,6 +81,7 @@ span#status { float:right }
/* /Derivation edtior */
/* Session overview */
+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% }