@import 'util'; @import 'diff'; @import 'tables'; @import 'code'; @import 'colours'; @media (prefers-color-scheme: dark) { html { background: #000; color: $darkModeTextColour; } h2, h3 { color: darken($darkModeHighlightColour, 20%); } } body { font-family: sans-serif; font-size: 0.9rem; tab-size: 4; } header { border-bottom: solid 1px #ccc; } nav { margin-top: 2rem; border-bottom: solid 3px #ccc; display: flex; .grow { flex-grow: 1; } @media (prefers-color-scheme: dark) { border-bottom-color: $darkModeHighlightColour; } a { padding: 2px 0.75em; color: #777; font-size: 110%; @media (prefers-color-scheme: dark) { color: $darkModeHighlightColour; } &.active { color: #000; background-color: #ccc; @media (prefers-color-scheme: dark) { background: $darkModeHighlightColour; } } } } main { padding: 2rem; margin: 0; border-bottom: solid 3px #ccc; @media (prefers-color-scheme: dark) { border-bottom-color: $darkModeHighlightColour; } } footer { margin-top: 0.5em; text-align: center; font-size: 80%; color: #ccc; @media (prefers-color-scheme: dark) { color: $darkModeTextColour; } } a { text-decoration: none; color: blue; @media (prefers-color-scheme: dark) { color: darken($darkModeHighlightColour, 10%); } &.no-style { color: inherit; @media (prefers-color-scheme: dark) { color: darken($darkModeHighlightColour, 10%); } } &:hover { text-decoration: underline; } } .index-link { font-size: 80%; padding: 0em 0.5em; } header.full { border: none; display: flex; hgroup { width: 100%; vertical-align: middle; h1 { border-bottom: solid 1px #ccc; margin-bottom: 0rem; padding-bottom: 0.2rem; } p { margin-top: 0rem; padding-top: 0.2rem; } } a.logo { margin: auto 0.9rem auto 0; font-size: 4rem; img { max-height: 5rem; vertical-align: middle; } } }