tweak toc

This commit is contained in:
B. Petersen
2020-01-11 12:57:06 +01:00
parent ceac846fe2
commit 58b2758504
+20 -3
View File
@@ -1,4 +1,21 @@
ul#top li {
margin-top: .7em;
margin-bottom: .7em;
a {
text-decoration: none;
}
ul#top {
list-style-type: none;
margin: 0;
padding: 0;
}
ul#top > li {
font-weight: bold !important;
font-size: 1.2rem !important;
}
ul#top li {
margin-top: .7rem;
margin-bottom: .7rem;
font-weight: normal;
font-size: 1rem;
}