@@ 42,8 42,8 @@ pre {
@media(prefers-color-scheme: dark) {
background-color: #222425;
}
- padding: 10px;
- overflow: auto;
+ padding: 10px;
+ overflow: auto;
}
code {
padding: 0px 5px;
@@ 103,8 103,8 @@ header {
}
footer {
font-family: $sans;
- font-size: 12pt;
- color: #666;
+ font-size: 12pt;
+ color: #666;
margin: 0px auto;
padding: 5px;
text-align: center;
@@ 117,6 117,8 @@ body>nav {
}
body>nav>div>a {
font-family: $sans;
+ font-weight: bold;
+ letter-spacing: +0.05em;
margin: 0px;
padding: 0px 1.2vw;
opacity: 1 !important;
@@ 164,6 166,5 @@ li {
margin-bottom: 5px;
}
.readme {
- font-size: 14pt;
- margin-top: 5em;
+ margin-top: 5em;
}