From 9d9c453a45fcdaa0cf503be269bd5aafd52f4f97 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Tue, 19 Jun 2012 14:45:50 +0000
Subject: [PATCH] translator: style adjustments

---
 src/www/translator/translator.css | 14 +++++++++++---
 src/www/translator/translator.js  |  2 +-
 2 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/src/www/translator/translator.css b/src/www/translator/translator.css
index 0f4e328ca..d2cdaab35 100644
--- a/src/www/translator/translator.css
+++ b/src/www/translator/translator.css
@@ -17,7 +17,7 @@ table.menubar dl, td.options > div > dl, dl.popupmenu {
     background: white; color: black;
     border: 1px solid black;
     margin: 0;
-    box-shadow: 5px 5px 5px rgba(0,0,0,0.25);
+    box-shadow: 4px 4px 12px rgba(0,0,0,0.33);
 }
 table.menubar td:hover > dl, :hover > dl.popupmenu { display: block; }
 table.menubar dt, dl.popupmenu > dt { margin: 0; padding: 5px; }
@@ -61,14 +61,22 @@ td.source input[name=it], td.target input[name=it], textarea, input[name=punctch
     font-family: inherit; font-size: inherit;
 }
 
-td.source input[name=it], td.target input[name=it], textarea { width: 100% }
+td.source input[name=it], td.target input[name=it], textarea { width: 100%; }
 
 table.paralleltexts td {
     vertical-align: baseline;
     line-height: 130%;
 }
 
-div.document form { width: 100%; }
+label { font-family: sans-serif; }
+
+div.document form { 
+    min-width: 90%; /* extend to availiable width for Safari */
+    /*background: #eee;*/
+    margin: 10px; /* extend to available width for other browsers */
+    padding: 10px;
+    box-shadow: 4px 4px 12px rgba(0,0,0,0.33);
+}
 
 span.arrow { color: blue; }
 span.error { color: red; }
diff --git a/src/www/translator/translator.js b/src/www/translator/translator.js
index c41c6b6c5..a11700f07 100644
--- a/src/www/translator/translator.js
+++ b/src/www/translator/translator.js
@@ -442,7 +442,7 @@ Translator.prototype.import=function(el) {
 	    // Allow import from local files, if the browers supports it.
 	    // See http://www.html5rocks.com/en/tutorials/file/dndfiles/
 	    var files=node("input",{name:"files","type":"file"})
-	    var extra=wrap("span",[text("Choose a file: "),
+	    var extra=wrap("label",[text("Choose a file: "),
 				   files,
 				   text(" and/or enter text to import below.")])
 	    e.insertBefore(extra,inp)