From b7a40543ff6c20c1ae5631014e8f0b4f46415fe7 Mon Sep 17 00:00:00 2001
From: Patrick Simianer
Date: Wed, 28 Oct 2015 13:45:55 +0100
Subject: mv
---
interface.php | 2 +-
static/lfpe.css | 101 --------------------------------------------------------
static/main.css | 101 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
3 files changed, 102 insertions(+), 102 deletions(-)
delete mode 100644 static/lfpe.css
create mode 100644 static/main.css
diff --git a/interface.php b/interface.php
index 04b302c..1484316 100644
--- a/interface.php
+++ b/interface.php
@@ -2,7 +2,7 @@
Post-editing application (Session: #)
-
+
diff --git a/static/lfpe.css b/static/lfpe.css
deleted file mode 100644
index c6220e3..0000000
--- a/static/lfpe.css
+++ /dev/null
@@ -1,101 +0,0 @@
-html {
- font-family: Arial, Helvetica, sans-serif;
- font-size: 18px
-}
-
-textarea {
- font-size: 2em;
- width: 100%
-}
-
-button {
- margin: 1em;
- padding: .25em;
- background: #fff;
- font-weight: bold
-}
-
-.bold { font-weight:bold }
-.small { font-size:.8em }
-.xtrasmall { font-size:.6em }
-
-div#wrapper {
- margin: 2em;
- padding: 1em
-}
-
-span#status {
- display: none;
- float: right
-}
-
-/* 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 }
-table#overview td.seg_text { width: 45% }
-table#overview td { border-bottom: 1px solid #000 }
-table#overview .doc_title { background-color: #eee }
-/* /Session overview */
-
-/* Header */
-div#header {
- margin-bottom: 2em;
- text-align:right
-}
-img#uni {}
-img#cl {
- margin-bottom:20px;
- margin-left:10px;
- vertical-align:bottom
-}
-/* /Header */
-
-/* Footer */
-p#footer {
- text-align: right;
- font-size: .5em;
- margin: 0;
- padding: 0;
- color: #303030
-}
-/* /Footer */
-
-/* Help */
-div#help {
- margin-top: .5em;
- font-size: .8em;
- width: 70%;
- text-align: justify
-}
-div#help a { color:#ccc }
-div#help:hover { color: #000 }
-div#help:hover a { color: #000 }
-/* /Help */
-
diff --git a/static/main.css b/static/main.css
new file mode 100644
index 0000000..c6220e3
--- /dev/null
+++ b/static/main.css
@@ -0,0 +1,101 @@
+html {
+ font-family: Arial, Helvetica, sans-serif;
+ font-size: 18px
+}
+
+textarea {
+ font-size: 2em;
+ width: 100%
+}
+
+button {
+ margin: 1em;
+ padding: .25em;
+ background: #fff;
+ font-weight: bold
+}
+
+.bold { font-weight:bold }
+.small { font-size:.8em }
+.xtrasmall { font-size:.6em }
+
+div#wrapper {
+ margin: 2em;
+ padding: 1em
+}
+
+span#status {
+ display: none;
+ float: right
+}
+
+/* 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 }
+table#overview td.seg_text { width: 45% }
+table#overview td { border-bottom: 1px solid #000 }
+table#overview .doc_title { background-color: #eee }
+/* /Session overview */
+
+/* Header */
+div#header {
+ margin-bottom: 2em;
+ text-align:right
+}
+img#uni {}
+img#cl {
+ margin-bottom:20px;
+ margin-left:10px;
+ vertical-align:bottom
+}
+/* /Header */
+
+/* Footer */
+p#footer {
+ text-align: right;
+ font-size: .5em;
+ margin: 0;
+ padding: 0;
+ color: #303030
+}
+/* /Footer */
+
+/* Help */
+div#help {
+ margin-top: .5em;
+ font-size: .8em;
+ width: 70%;
+ text-align: justify
+}
+div#help a { color:#ccc }
+div#help:hover { color: #000 }
+div#help:hover a { color: #000 }
+/* /Help */
+
--
cgit v1.2.3