Fri, 07 Jul 2023 17:31:25 +0200
slightly improve CSS
docs/src/ucx.css | file | annotate | diff | comparison | revisions |
1.1 --- a/docs/src/ucx.css Fri Jul 07 17:28:07 2023 +0200 1.2 +++ b/docs/src/ucx.css Fri Jul 07 17:31:25 2023 +0200 1.3 @@ -5,7 +5,7 @@ 1.4 1.5 a:hover { 1.6 text-decoration: underline; 1.7 - text-decoration-style: dotted; // not supported in IE / Edge 1.8 + text-decoration-style: dotted; 1.9 } 1.10 1.11 #page-header, h1, h2, h3, #sidebar { 1.12 @@ -63,6 +63,7 @@ 1.13 1.14 #content { 1.15 margin-left: 16em; 1.16 + margin-right: 0.5em; 1.17 padding: 0; 1.18 font-family: serif; 1.19 font-size: 1em; 1.20 @@ -73,10 +74,7 @@ 1.21 color: white; 1.22 background-color: #5b6f7a; 1.23 font-size: 1.2em; 1.24 - padding-top: 0.2em; 1.25 - padding-bottom: 0.2em; 1.26 - padding-left: 0.5em; 1.27 - padding-right: 0; 1.28 + padding: 0.2em 0 0.2em 0.5em; 1.29 margin-top: 0; 1.30 } 1.31