This commit is contained in:
2025-11-14 17:30:19 +01:00
parent 5b19b729c4
commit 9ff15dd9f7
26 changed files with 1044 additions and 0 deletions

View File

@@ -0,0 +1,50 @@
@import url('https://fonts.googleapis.com/css2?family=Noto+Sans+Mono:wght@100..900&family=Noto+Sans:ital,wght@0,100..900;1,100..900&display=swap');
body {
background-color: whitesmoke;
font-family: "Noto Sans", sans-serif;
margin: 0;
}
header, nav#toc, article, footer {
background-color: white;
border: thin solid gray;
border-radius: 0.25em;
box-shadow: 0 0 0.25em gray;
margin: 1em;
padding: 1em;
}
ul:is(.toc, .specs) a:hover {
background-color: indigo;
color: white;
}
pre {
background-color: aliceblue;
border-left: 0.5em solid indigo;
font-family: "Noto Sans Mono", monospace;
overflow-x: auto;
padding: 0.5em;
}
footer {
text-align: center;
}
p.legal img {
vertical-align: middle;
}
a:is(:link, :visited) {
color: indigo;
}
h2 > a:is(:link, :visited) {
color: black;
text-decoration: none;
}
h2 > a:hover {
text-decoration: underline;
}