Note: After publishing, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5.
@import url(https://fonts.googleapis.com/css2?family=Inter:ital,opsz,wght@0,14..32,100..900;1,14..32,100..900&display=swap);
html, body {
font-family: Inter, sans-serif;
}
body {
--opacity-icon-subtle: 1;
}
@media screen and (min-width: 720px) {
.minerva-header .branding-box {
min-width: auto;
margin-right: 1em;
}
}
.mw-body h1, .mw-body .mw-heading1, .mw-body-content h1, .mw-body-content .mw-heading1, .mw-body-content h2, .mw-body-content .mw-heading2 {
/* fancy heading */
font-family: Inter, sans-serif;
font-weight: 600;
}
html.client-darkmode {
--background-color-base: #dce1e8;
}
html.client-darkmode,
html.client-darkmode body,
html.client-darkmode .vector-pinned-container {
background: #dce1e8;
}