summaryrefslogtreecommitdiff
path: root/lfpe.css
diff options
context:
space:
mode:
Diffstat (limited to 'lfpe.css')
-rw-r--r--lfpe.css25
1 files changed, 22 insertions, 3 deletions
diff --git a/lfpe.css b/lfpe.css
index a79aafa..c6220e3 100644
--- a/lfpe.css
+++ b/lfpe.css
@@ -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