Space things out a bit. Remove underlines from index links.

This commit is contained in:
Ian Gulliver
2019-04-24 06:12:08 +00:00
parent f10c68a567
commit b7a22b7944

View File

@@ -2,7 +2,7 @@ body {
font-family: monospace, Courier; font-family: monospace, Courier;
font-size: 16px; font-size: 16px;
max-width: 800px; max-width: 700px;
padding-left: 2ch; padding-left: 2ch;
padding-right: 3ch; padding-right: 3ch;
@@ -65,6 +65,7 @@ h4 {
article { article {
hyphens: auto; hyphens: auto;
line-height: 1.5;
} }
.index ol { .index ol {
@@ -73,7 +74,6 @@ article {
} }
.index ol li { .index ol li {
margin-bottom: 2px;
white-space: nowrap; white-space: nowrap;
overflow: hidden; overflow: hidden;
text-overflow: ellipsis; text-overflow: ellipsis;
@@ -81,11 +81,12 @@ article {
.index ol li a { .index ol li a {
font-weight: bold; font-weight: bold;
text-decoration: none;
} }
ul li, ol li { ul li, ol li {
margin-top: 5px; margin-top: 6px;
margin-bottom: 5px; margin-bottom: 6px;
} }
code { code {