translator.css: factor out div.overlay styles to a separate file overlay.css

2 files changed, 22 insertions, 20 deletions

diff --git a/src/www/translator/overlay.css b/src/www/translator/overlay.css
new file mode 100644
index 000000000..6d4c70b59
--- /dev/null
+++ b/src/www/translator/overlay.css
@@ -0,0 +1,20 @@
+
+div.overlay {
+    display: none;
+    position: absolute;
+    z-index: 1;
+    top: 0;
+    left: 0;
+    width: 100%; height: 100%;
+    background: white; /* fallback */
+    background: rgba(0,0,0,0.3);
+}
+
+div.overlay > div {
+    margin: 5em 3em;
+    background: white; /* fallback */
+    background: rgba(255,255,255,0.95);
+    padding: 1em;
+    box-shadow: 4px 4px 12px rgba(0,0,0,0.33);
+    /*border-radius: 5px;*/
+}
diff --git a/src/www/translator/translator.css b/src/www/translator/translator.css
index 171875c72..9e964e1eb 100644
--- a/src/www/translator/translator.css
+++ b/src/www/translator/translator.css
@@ -1,3 +1,5 @@
+@import url("overlay.css");
+
 body { margin:0; padding: 5px; position: relative; }
 h1 { float: right; margin: 0; font-size: 150%; }
 h2 { font-size: 120%; }
@@ -105,26 +107,6 @@ span.choices { color: blue; font-weight: bold; font-family: sans-serif; }
 .bad_quality { background-color: #f88; background-color: rgba(255,0,0,0.53); }
 .manual_quality { background-color: #ccf; background-color: rgba(0,0,255,0.20); }
 
-div.overlay {
-    display: none;
-    position: absolute;
-    z-index: 1;
-    top: 0;
-    left: 0;
-    width: 100%; height: 100%;
-    background: white; /* fallback */
-    background: rgba(0,0,0,0.3);
-}
-
-div.overlay > div {
-    margin: 5em 3em;
-    background: white; /* fallback */
-    background: rgba(255,255,255,0.95);
-    padding: 1em;
-    box-shadow: 4px 4px 12px rgba(0,0,0,0.33);
-    /*border-radius: 5px;*/
-}
-
 div#minibar, div#syntax_editor {
     border: 1px solid black;
     padding: 5px;