box-sizing: inherit;
}
+html, body {
+ margin: 0;
+ padding: 0;
+}
+
body, button {
font-size: 12pt;
font-family: sans-serif;
- line-height: 140%;
}
textarea {
border-collapse: collapse;
}
+pre {
+ overflow: auto;
+ font-size: smaller;
+ line-height: 125%;
+}
+
.link-button {
padding: 0;
background: none;
border: none;
}
-a, .link { color: #104e8b; }
+a, .link { color: #2A5DB0; }
a:link, a:visited, a:active, .link { text-decoration: none; }
a:hover, .link:hover { text-decoration: underline; }
display: inline;
}
-.navbar {
- margin: 0;
- padding: 15px;
- border-bottom: 1px solid #ccc;
+nav {
+ border-bottom: 1px solid #d5d5d5;
+ background-color: #f5f5f5;
+ padding: 10px;
+ padding-left: calc(max(50% - 500px, 0px) + 15px);
+ padding-right: calc(max(50% - 500px, 0px) + 15px);
}
-.navbar a, .navbar .link {
+nav a, nav .link {
margin-right: 10px;
}
-.big-field-label {
- vertical-align: top;
-}
-
-.description pre {
- padding: 5px;
- border: 1px dashed #ccc;
- background-color: #f5f5f5;
- overflow: auto;
- font-size: smaller;
+nav img {
+ vertical-align: middle;
}
-.description h1 { font-size: 1.5em; }
-.description h2 { font-size: 1.17em; }
-.description h3 { font-size: 1.0em; }
-.description h4 { font-size: 0.83em; }
-.description h5 { font-size: 0.67em; }
-
-.description p:first-child { margin-top: 0px; }
-.description p:last-child { margin-bottom: 0px; }
-
-.description table, .description td {
- border-color: #666;
- border-style: solid;
+.page {
+ max-width: 1000px;
+ position: relative;
+ left: calc(max(-500px,-50%) + 50%);
+ padding: 15px;
}
-.description table {
- border-width: 0 0 1px 1px;
- border-spacing: 0;
- border-collapse: collapse;
+.big-field-label {
+ vertical-align: top;
}
-.description td {
- margin: 0;
- padding: 4px;
- border-width: 1px 1px 0 0;
+/* Dark mode */
+@media (prefers-color-scheme: dark) {
+ body {
+ background-color: #202124;
+ color: #bdc1c6;
+ }
+
+ title, h1, h2, h3, h4, h5, h6 {
+ color: white;
+ }
+
+ a, .link {
+ color: #8ab4f8;
+ }
+
+ nav {
+ background-color: #373e48;
+ border-bottom: 1px solid #666;
+ }
}