@@ -181,10 +181,66 @@ 0% {background: transparent;} 10% {background: #feffc1;} 100% {background: transparent;} } + main > aside { + text-align: center; + } + + nav { + font-family: 'Triplicate T4c', monospace; + font-feature-settings: "onum" off; + font-size: 0.7rem; + margin: 0; + margin-top: 0.5rem; + text-align: center; + } + + nav ul { + list-style-type: none; + margin: 0.2em auto; + padding: 0; + } + + nav li { + display: none; /* Numbers not displayed on mobile */ + color: gray; + } + + nav li.nav-text { + display: inline; + text-transform: uppercase; + letter-spacing: 0.05rem; + font-size: 0.6rem; + } + + nav li.inactive-link { + color: gray; + } + + nav li.current-page { + color: ◊color-bodytext; + padding: 0.2rem 0.5rem; + border-bottom: dotted ◊color-bodytext 2px; + } + + nav li a { + padding: 0.2rem 0.5rem; + } + + nav li a:link, nav li a:visited { + color: ◊color-bodytext; + } + + nav li a:hover, nav li a:active { + color: ◊color-linkhover; + background: #ebebeb; + } + + i > em { font-style: normal; } + /* On mobile, an
is just a box. Later we'll do fancy stuff if grid support is detected. */ article { margin: ◊x-lineheight[2] 0 ◊x-lineheight[1] 0; padding-top: ◊x-lineheight[1]; } @@ -585,10 +641,12 @@ padding-left: 1rem; padding-right: 1rem; width: 30rem; max-width: 90%; } + + nav li { display: inline; } /* Display page numbers on larger screens */ @supports (grid-area: auto) { main { width: 42rem; background: none;