diff options
author | Patrick Simianer <p@simianer.de> | 2016-01-29 18:21:13 +0100 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2016-01-29 18:21:13 +0100 |
commit | e6a35a3d94cd007901fcc2ea8a62a1a3909ebf7a (patch) | |
tree | 3ff87e7b9f9aedd7f7b3358ff2e1ee6056d64b93 /static | |
parent | e5a850baeb2679af818d36311f75d03d721d1a01 (diff) |
interface.php: cleanup
Diffstat (limited to 'static')
-rw-r--r-- | static/main.css | 5 |
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% } |