diff options
Diffstat (limited to 'lfpe.css')
-rw-r--r-- | lfpe.css | 25 |
1 files changed, 22 insertions, 3 deletions
@@ -21,8 +21,7 @@ button { div#wrapper { margin: 2em; - padding: 1em; - border: 1px dashed #000 + padding: 1em } span#status { @@ -31,11 +30,32 @@ span#status { } /* Edit */ +#textboxes, #derivation_editor { + display: none +} #raw_source_textarea, #target_textarea { font-family: "Times New Roman", Georgia, Serif; } +#oov_form { display: none } +#oov_fields { + padding: 1em; + margin: .25em + +} +#oov_fields input { + text-align: center; + padding: .4em +} /* /Edit */ +/* Derivation editor */ +#derivation_editor input { + background: #ccc; + font-size: 60%; + padding: .4em +} +/* /Derivation edtior */ + /* Session overview */ div#overview_wrapper { margin-top:1em } table#overview { font-size:.8em } @@ -61,7 +81,6 @@ img#cl { p#footer { text-align: right; font-size: .5em; - font-weight: bold; margin: 0; padding: 0; color: #303030 |