diff -r 2ed01495f838 -r 6f757d839534 docs/src/ucx.css
--- a/docs/src/ucx.css	Fri Jul 07 17:28:07 2023 +0200
+++ b/docs/src/ucx.css	Fri Jul 07 17:31:25 2023 +0200
@@ -5,7 +5,7 @@
 
 a:hover {
     text-decoration: underline;
-    text-decoration-style: dotted; // not supported in IE / Edge
+    text-decoration-style: dotted;
 }
 
 #page-header, h1, h2, h3, #sidebar {
@@ -63,6 +63,7 @@
 
 #content {
     margin-left: 16em;
+    margin-right: 0.5em;
     padding: 0;
     font-family: serif;
     font-size: 1em;
@@ -73,10 +74,7 @@
     color: white;
     background-color: #5b6f7a;
     font-size: 1.2em;
-    padding-top: 0.2em;
-    padding-bottom: 0.2em;
-    padding-left: 0.5em;
-    padding-right: 0;
+    padding: 0.2em 0 0.2em 0.5em;
     margin-top: 0;
 }