diff options
Diffstat (limited to 'public/global.css')
| -rw-r--r-- | public/global.css | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/public/global.css b/public/global.css new file mode 100644 index 0000000..eb95539 --- /dev/null +++ b/public/global.css @@ -0,0 +1,70 @@ +:root { + --base: #000000; + --overlay-1: #7c7c7c; + --text: #ffffff; + --accent: #ff7777; +} + +body { + margin: 0; + background-color: var(--base); + color: var(--text); + font-family: monospace; + font-size: 16px; +} + +main { + margin-inline: auto; + max-width: 1000px; + padding: 1rem; +} + +header, +main, +footer { + padding: 1rem; +} + +h1 { + font-size: 4rem; + font-weight: bold; + margin-bottom: 1rem; +} + +header, +footer { + text-align: center; + margin: 1rem 0; +} + +a { + color: var(--accent); + text-decoration: none; +} + +footer div.badges { + margin: 1rem auto; + max-width: 1000px; +} + +footer div.badges > a, +footer div.badges > img { + display: inline-block; + margin-inline: 5px; + text-decoration: none; +} + +footer div.badges img { + width: 88px; + height: 31px; +} + +footer div.git-hash { + color: var(--overlay-1); + margin: 0.5em; + font-size: 0.8em; +} + +hr { + border-color: var(--overlay-1); +} |
