From 66e6b5269d52c1bedfa805c51b300ce5f5f3c490 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Tue, 15 May 2012 15:36:06 +0000
Subject: Adding a Simple Translation Tool

It is part of the cloud services available with gf -server.
---
 src/www/translator/translator.css | 54 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 54 insertions(+)
 create mode 100644 src/www/translator/translator.css

(limited to 'src/www/translator/translator.css')

diff --git a/src/www/translator/translator.css b/src/www/translator/translator.css
new file mode 100644
index 000000000..dff8d103a
--- /dev/null
+++ b/src/www/translator/translator.css
@@ -0,0 +1,54 @@
+body { margin: 5px; }
+h1 { float: right; margin: 0; font-size: 150%; }
+h2 { font-size: 120%; }
+div.pagehead { font-family: sans-serif;
+               background-color: #ccc;
+}
+table.menubar td { padding: 5px; }
+table.menubar dl, td.options > div > dl {
+    z-index: 1;
+    display: none; position: absolute;
+    background: white; color: black;
+    border: 1px solid black;
+    margin: 0;
+    box-shadow: 5px 5px 5px rgba(0,0,0,0.25);
+}
+table.menubar td:hover > dl { display: block; }
+table.menubar dt { margin: 0; padding: 5px; }
+table.submenu dt { padding: 0; }
+table.menubar td:hover, table.menubar dt:hover { background-color: #36f; color: white; }
+table table dl { left: 6em; }
+table.menubar dt { white-space: nowrap; }
+div.document {
+    clear: both;
+    background: white;
+    border: 2px solid #009;
+    padding: 0.6ex;
+}
+
+div.document h2 { color: #009; }
+
+table.segments { margin-left: auto; margin-right: auto; }
+tr.segment:hover { background: #ffc; }
+
+td.source, td.options, td.target {
+    padding: 1ex;
+}
+td.source, td.target {
+    border-bottom: 2px solid #ccc;
+}
+td.options > div { position: relative; margin: 0; }
+td.options:hover > div > dl { display: block; }
+td.options > div > dl {
+    left: 0.8em;
+    padding: 0.6ex;
+    font-family: sans-serif;
+    white-space: nowrap;
+}
+
+td.target input[name=it] {
+    width: 100%; font-family: inherit; font-size: inherit;
+}
+
+span.arrow { color: blue; }
+span.error { color: red; }
\ No newline at end of file
-- 
cgit v1.2.3