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