Documentation update

2025-09-08 12:15:45 +00:00
parent 42bb28337b
commit 7517066c91
6 changed files with 173 additions and 43 deletions
@@ -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 {