translator: better support for ambiguous translations

The translator picks "the first" translation by default, but the user can
choose among the generated translations from a popup menu.

1 files changed, 7 insertions, 4 deletions

diff --git a/src/www/translator/translator.css b/src/www/translator/translator.css
index fc89b020d..4ee6fc3c8 100644
--- a/src/www/translator/translator.css
+++ b/src/www/translator/translator.css
@@ -7,7 +7,7 @@ div.pagehead { font-family: sans-serif;
                background-color: #ccc;
 }
 table.menubar td { padding: 5px; }
-table.menubar dl, td.options > div > dl {
+table.menubar dl, td.options > div > dl, dl.popupmenu {
     z-index: 1;
     display: none; position: absolute;
     background: white; color: black;
@@ -15,10 +15,12 @@ table.menubar dl, td.options > div > dl {
     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.menubar td:hover > dl, :hover > dl.popupmenu { display: block; }
+table.menubar dt, dl.popupmenu > dt { margin: 0; padding: 5px; }
 table.submenu dt { padding: 0; }
-table.menubar td:hover, table.menubar dt:hover { background-color: #36f; color: white; }
+table.menubar td:hover, table.menubar dt:hover, dl.popupmenu > dt:hover {
+    background-color: #36f; color: white;
+}
 table table dl { left: 6em; }
 table.menubar dt { white-space: nowrap; }
 div.document {
@@ -61,3 +63,4 @@ div.document form { width: 100%; }
 
 span.arrow { color: blue; }
 span.error { color: red; }
+span.choices { color: blue; font-weight: bold; font-family: sans-serif; }
\ No newline at end of file