additional editor tab for translation aid

[shellwiki] / themes / default.css

diff --git a/themes/default.css b/themes/default.css
index 1823d7781758e6db6227afb7e606c284faccb5fc..3e924b57de1d8702a7e0b116d6670469f27b488f 100644 (file)
--- a/themes/default.css
+++ b/themes/default.css
@@ -115,17 +115,19 @@ main pre {
   margin-bottom: 1em;
 }
 
+.tab[name=edithelp] ~ .tab.editor textarea,
+.tab[name=edithelp] ~ .tab.syntax,
+.tab[name=edithelp] ~ .tab.attach,
+.tab[name=edithelp] ~ .tab.transl {
+  background-color: #FFF;
+  min-height: 20em; min-height: 50vh;
+}
+
 .tab[name=edithelp] ~ .tab.editor textarea {
   width: 100%;
-  min-height: 20em; min-height: 50vh;
   font-family: monospace;
   font-size: inherit;
 }
-.tab[name=edithelp] ~ .tab.syntax,
-.tab[name=edithelp] ~ .tab.attach {
-  background-color: #FFF;
-  min-height: 20em; min-height: 50vh;
-}
 
 .tab[name=edithelp] ~ .tab.attach {
   padding-top: 1em;
@@ -137,9 +139,15 @@ main pre {
   margin-left: -6em;
 }
 
+.tab[name=edithelp] ~ .tab.transl {
+  font-family: monospace;
+  white-space: pre;
+}
+
 .tab[name=edithelp]#editor:checked ~ .tab.editor,
 .tab[name=edithelp]#syntax:checked ~ .tab.syntax,
-.tab[name=edithelp]#attach:checked ~ .tab.attach {
+.tab[name=edithelp]#attach:checked ~ .tab.attach,
+.tab[name=edithelp]#transl:checked ~ .tab.transl {
   display: block;
 }