# HG changeset patch # User Mike Becker # Date 1688743885 -7200 # Node ID 6f757d83953475953a7e6fdd2b9cc9a03c149461 # Parent 2ed01495f838d8a7c3b65b0dbb63089d9efe0862 slightly improve CSS 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; }