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;
}