diff options
| author | Ernst Widerberg <ernst@sunet.se> | 2022-01-11 09:23:13 +0100 |
|---|---|---|
| committer | Ernst Widerberg <ernst@sunet.se> | 2022-01-11 09:25:57 +0100 |
| commit | e3b0a8243d168f4ace3dac1f9ce457ef254f6f7c (patch) | |
| tree | 9a6c5f2f12f783d40e844c29af7916198b91be95 /src/styles | |
| parent | 80bde89dca5bf68e57c1d9d4c280e65df22ba470 (diff) | |
Add example navigation to header
Diffstat (limited to 'src/styles')
| -rw-r--r-- | src/styles/main.css | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/styles/main.css b/src/styles/main.css index b53cfa7..606c6d2 100644 --- a/src/styles/main.css +++ b/src/styles/main.css @@ -30,6 +30,29 @@ a:visited { font-style: italic; } +#header #navigation { + flex-grow: 1; + margin-left: 3em; + margin-right: 3em; + font-size: 1.2em; +} + +#header #navigation a { + color: #7d9cb8; + text-decoration: none; +} + +#header #navigation a.active { + font-weight: bold; +} + +#header #separator { + display: inline-block; + width: 2em; + text-align: center; + color: #9c9c9c; +} + /* Object */ .object { |
