1313}
1414
1515@font-face {
16- font-family : RedHatMono ;
16+ font-family : 'Fira Code' ;
1717 font-style : normal;
1818 font-weight : 400 ;
19- src : url(../ font/RedHatMono -Regular.woff2 ) for mat("woff2 " );
19+ src : url(../ font/FiraCode -Regular.ttf ) for mat("truetype " );
2020}
2121
22+ @font-face {
23+ font-family : 'Fira Code' ;
24+ font-style : normal;
25+ font-weight : 700 ;
26+ src : url(../ font/FiraCode-Bold.ttf) for mat("truetype" );
27+ }
28+
29+
30+
2231* , ::after , ::before {
2332 -webkit-box-sizing : inherit;
2433 box-sizing : inherit
@@ -63,7 +72,7 @@ a:active {
6372}
6473
6574code , kbd , pre {
66- font-family : RedHatMono , monospace
75+ font-family : 'Fira Code' , monospace
6776}
6877
6978b , dt , strong , th {
@@ -1959,54 +1968,72 @@ body {
19591968 position : fixed;
19601969 top : 0 ;
19611970 width : 100% ;
1962- z-index : 4
1971+ z-index : 4 ;
1972+ display : -webkit-box;
1973+ display : -ms-flexbox;
1974+ display : flex;
1975+ align-items : center;
1976+ justify-content : space-between;
1977+ padding : 0 1rem ;
19631978}
19641979
19651980.navbar a {
19661981 text-decoration : none
19671982}
19681983
1969- .navbar-brand {
1984+ .site-branding {
19701985 display : -webkit-box;
19711986 display : -ms-flexbox;
19721987 display : flex;
1973- -webkit-box-flex : 1 ;
1974- -ms-flex : auto;
1975- flex : auto;
1976- padding-left : 1rem
1988+ align-items : center;
1989+ gap : 0.75rem ;
1990+ }
1991+
1992+ .site-branding .logo {
1993+ height : 2.5rem ;
1994+ width : auto;
19771995}
19781996
1979- .navbar-brand .navbar-item {
1997+ .site-branding h2 {
1998+ margin : 0 ;
1999+ font-size : 1em ;
2000+ }
2001+
2002+ .site-branding h2 a ,
2003+ .site-branding h2 a .active {
2004+ text-decoration : none;
19802005 color : # fff ;
19812006 font-family : 'Atkinson' , sans-serif;
19822007}
19832008
1984- .navbar-brand .navbar-item : first-child {
1985- -ms-flex-item-align : center;
1986- align-self : center;
1987- padding : 0 ;
1988- font-size : 1.22222rem ;
1989- -ms-flex-wrap : wrap;
1990- flex-wrap : wrap;
1991- line-height : 1
2009+ .internal-links {
2010+ display : -webkit-box;
2011+ display : -ms-flexbox;
2012+ display : flex;
2013+ align-items : center;
2014+ gap : 0.5rem ;
2015+ margin-left : auto;
19922016}
19932017
1994- .navbar-brand .navbar-item : first-child a {
1995- color : inherit;
1996- word-wrap : normal
2018+ .internal-links .navbar-item {
2019+ padding : 1em 0.5em ;
2020+ color : # fff ;
2021+ border-bottom : 4px solid transparent;
2022+ text-decoration : none;
19972023}
19982024
1999- .navbar-brand .navbar-item : first-child : not (: last-child ) {
2000- padding-right : .375rem
2025+ .internal-links .navbar-item : not (.search ): hover {
2026+ background : # 000 ;
2027+ color : # fff ;
20012028}
20022029
2003- . navbar-brand . navbar-item . search {
2004- -webkit-box-flex : 1 ;
2005- -ms-flex : auto;
2006- flex : auto ;
2007- -webkit-box-pack : end ;
2008- -ms-flex-pack : end ;
2009- justify-content : flex-end
2030+
2031+
2032+ . navbar-item . search {
2033+ display : -webkit-box ;
2034+ display : -ms-flexbox ;
2035+ display : flex ;
2036+ align-items : center;
20102037}
20112038
20122039# search-input {
@@ -2180,10 +2207,18 @@ body {
21802207}
21812208
21822209@media screen and (max-width : 768.5px ) {
2183- .navbar-brand . navbar- item .search {
2210+ .navbar-item .search {
21842211 padding-left : 0 ;
21852212 padding-right : 0
21862213 }
2214+
2215+ .site-branding .logo {
2216+ height : 2rem ;
2217+ }
2218+
2219+ .internal-links {
2220+ display : none;
2221+ }
21872222}
21882223
21892224@media screen and (min-width : 769px ) {
@@ -2193,36 +2228,10 @@ body {
21932228}
21942229
21952230@media screen and (max-width : 1023.5px ) {
2196- .navbar-brand {
2197- height : inherit
2198- }
2199-
2200- .navbar-brand .navbar-item {
2201- -webkit-box-align : center;
2202- -ms-flex-align : center;
2203- align-items : center;
2231+ .navbar-burger {
22042232 display : -webkit-box;
22052233 display : -ms-flexbox;
2206- display : flex
2207- }
2208-
2209- .navbar-menu {
2210- background : # fff ;
2211- -webkit-box-shadow : 0 8px 16px rgba (10 , 10 , 10 , .1 );
2212- box-shadow : 0 8px 16px rgba (10 , 10 , 10 , .1 );
2213- max-height : calc (100vh - 3.5rem );
2214- overflow-y : auto;
2215- -ms-scroll-chaining : none;
2216- overscroll-behavior : none;
2217- padding : .5rem 0
2218- }
2219-
2220- .navbar-menu : not (.is-active ) {
2221- display : none
2222- }
2223-
2224- .navbar-menu .navbar-link : hover , .navbar-menu a .navbar-item : hover {
2225- background : # f5f5f5
2234+ display : flex;
22262235 }
22272236}
22282237
@@ -2231,91 +2240,10 @@ body {
22312240 display : none
22322241 }
22332242
2234- .navbar , . navbar-end , . navbar-item , . navbar-link , . navbar-menu {
2243+ .internal-links {
22352244 display : -webkit-box;
22362245 display : -ms-flexbox;
2237- display : flex
2238- }
2239-
2240- .navbar-item , .navbar-link {
2241- position : relative;
2242- -webkit-box-flex : 0 ;
2243- -ms-flex : none;
2244- flex : none
2245- }
2246-
2247- .navbar-item : not (.has-dropdown ), .navbar-link {
2248- -webkit-box-align : center;
2249- -ms-flex-align : center;
2250- align-items : center
2251- }
2252-
2253- .navbar-item .is-hoverable : hover .navbar-dropdown {
2254- display : block
2255- }
2256-
2257- .navbar-link ::after {
2258- border-width : 0 0 1px 1px ;
2259- border-style : solid;
2260- content : "" ;
2261- display : block;
2262- height : .5em ;
2263- pointer-events : none;
2264- position : absolute;
2265- -webkit-transform : rotate (-45deg );
2266- transform : rotate (-45deg );
2267- width : .5em ;
2268- margin-top : -.375em ;
2269- right : 1.125em ;
2270- top : 50%
2271- }
2272-
2273- .navbar-end .navbar-link , .navbar-end > .navbar-item {
2274- color : # fff
2275- }
2276-
2277- .navbar-end .navbar-item .has-dropdown : hover .navbar-link , .navbar-end .navbar-link : hover , .navbar-end > a .navbar-item : hover {
2278- background : # 000 ;
2279- color : # fff
2280- }
2281-
2282- .navbar-end .navbar-link ::after {
2283- border-color : currentColor
2284- }
2285-
2286- .navbar-dropdown {
2287- background : # fff ;
2288- border : 1px solid # e1e1e1 ;
2289- border-top : none;
2290- border-radius : 0 0 .25rem .25rem ;
2291- display : none;
2292- top : 100% ;
2293- left : 0 ;
2294- min-width : 100% ;
2295- position : absolute
2296- }
2297-
2298- .navbar-dropdown .navbar-item {
2299- padding : .5rem 3rem .5rem 1rem ;
2300- white-space : nowrap
2301- }
2302-
2303- .navbar-dropdown .navbar-item small {
2304- position : relative;
2305- right : -2rem
2306- }
2307-
2308- .navbar-dropdown .navbar-item : last-child {
2309- border-radius : inherit
2310- }
2311-
2312- .navbar-dropdown .is-right {
2313- left : auto;
2314- right : 0
2315- }
2316-
2317- .navbar-dropdown a .navbar-item : hover {
2318- background : # f5f5f5
2246+ display : flex;
23192247 }
23202248}
23212249
0 commit comments