mv

1 files changed, 101 insertions, 0 deletions

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 */
+