diff options
Diffstat (limited to 'static/main.css')
| -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% } |