updated the local user-docu.

2026-02-21 16:04:48 +01:00
1 parent 901fda9298
commit 49e355f58a
@@ -741,14 +741,6 @@ abbr, acronym {
    cursor: help;
 }

-.translated {
-    background-color: rgba(207, 255, 207, 0.2)
-}
-
-.untranslated {
-    background-color: rgba(255, 207, 207, 0.2)
-}
-
 /* -- code displays --------------------------------------------------------- */

 pre {