diff --git a/www/css/core.css b/www/css/core.css index 1cfcc5b0..28dc162b 100644 --- a/www/css/core.css +++ b/www/css/core.css @@ -2,7 +2,7 @@ @font-face{ font-family: "FontAwesome"; - src: local("FontAwesome"), url("/fonts/font-awesome.woff2") format("woff2"), url("/fonts/font-awesome.woff") format("woff"); + src: local("FontAwesome"); font-weight: normal; font-style: normal; } @@ -10,7 +10,7 @@ @font-face{ /* Note: Don"t use local() as a source, because our version fixes the font"s strange default line-height */ font-family: "League Spartan"; - src: url("/fonts/league-spartan-bold.woff2") format("woff2"), url("/fonts/league-spartan-bold.woff") format("woff"); + src: url("/fonts/league-spartan-bold.woff2") format("woff2"); font-weight: bold; font-style: normal; } @@ -18,7 +18,7 @@ @font-face{ /* Note: Don"t use local() as a source, because our version fixes the font"s strange default line-height */ font-family: "Crimson Pro"; - src: url("/fonts/crimson-pro.woff2") format("woff2"), url("/fonts/crimson-pro.woff") format("woff"); + src: url("/fonts/crimson-pro.woff2") format("woff2"); font-weight: normal; font-style: normal; } @@ -26,7 +26,7 @@ @font-face{ /* Note: Don"t use local() as a source, because our version fixes the font"s strange default line-height */ font-family: "Crimson Pro"; - src: url("/fonts/crimson-pro-bold.woff2") format("woff2"), url("/fonts/crimson-pro-bold.woff") format("woff"); + src: url("/fonts/crimson-pro-bold.woff2") format("woff2"); font-weight: bold; font-style: normal; } @@ -34,7 +34,7 @@ @font-face{ /* Note: Don"t use local() as a source, because our version fixes the font"s strange default line-height */ font-family: "Crimson Pro"; - src: url("/fonts/crimson-pro-italic.woff2") format("woff2"), url("/fonts/crimson-pro-italic.woff") format("woff"); + src: url("/fonts/crimson-pro-italic.woff2") format("woff2"); font-weight: normal; font-style: italic; } @@ -42,21 +42,21 @@ @font-face{ /* Note: Don"t use local() as a source, because our version fixes the font"s strange default line-height */ font-family: "Crimson Pro"; - src: url("/fonts/crimson-pro-bold-italic.woff2") format("woff2"), url("/fonts/crimson-pro-bold-italic.woff") format("woff"); + src: url("/fonts/crimson-pro-bold-italic.woff2") format("woff2"); font-weight: bold; font-style: italic; } @font-face{ font-family: "Fira Mono"; - src: local("Fira Mono"), url("/fonts/fira-mono-regular.woff2") format("woff2"), url("/fonts/fira-mono-regular.woff") format("woff"); + src: local("Fira Mono"); font-weight: normal; font-style: normal; } @font-face{ font-family: "Fira Mono"; - src: local("Fira Mono"), url("/fonts/fira-mono-bold.woff2") format("woff2"), url("/fonts/fira-mono-bold.woff") format("woff"); + src: local("Fira Mono"); font-weight: bold; font-style: normal; } diff --git a/www/css/manual.css b/www/css/manual.css index 2d27c5e9..21700aea 100644 --- a/www/css/manual.css +++ b/www/css/manual.css @@ -2,35 +2,35 @@ @font-face{ font-family: "Fira Sans"; - src: local("Fira Sans"), url("/fonts/fira-sans.woff2") format("woff2"), url("/fonts/fira-sans.woff") format("woff"); + src: local("Fira Sans"), url("/fonts/fira-sans.woff2") format("woff2"); font-weight: normal; font-style: normal; } @font-face{ font-family: "Fira Sans"; - src: local("Fira Sans"), url("/fonts/fira-sans-bold.woff2") format("woff2"), url("/fonts/fira-sans-bold.woff") format("woff"); + src: local("Fira Sans"), url("/fonts/fira-sans-bold.woff2") format("woff2"); font-weight: bold; font-style: normal; } @font-face{ font-family: "Fira Sans"; - src: local("Fira Sans"), url("/fonts/fira-sans-italic.woff2") format("woff2"), url("/fonts/fira-sans-italic.woff") format("woff"); + src: local("Fira Sans"); font-weight: normal; font-style: italic; } @font-face{ font-family: "Fira Sans"; - src: local("Fira Sans"), url("/fonts/fira-sans-bold-italic.woff2") format("woff2"), url("/fonts/fira-sans-bold-italic.woff") format("woff"); + src: local("Fira Sans"); font-weight: bold; font-style: italic; } @font-face{ font-family: "Fira Sans"; - src: local("Fira Sans"), url("/fonts/fira-sans-bold.woff2") format("woff2"), url("/fonts/fira-sans-bold.woff") format("woff"); + src: local("Fira Sans"); font-weight: bold; font-style: normal; } @@ -190,7 +190,7 @@ code.css.full::before{ code{ font-family: "Fira Mono", monospace; - font-size: .8rem; + font-size: .7rem; } code.terminal{ @@ -404,7 +404,8 @@ figure.corrected code{ .manual > article > section > section[id] section > aside.number::after{ content: " "; width: 2rem; - border-bottom: 1px dashed rgba(255, 255, 255, .5); + border-bottom: 1px dashed; + border-color: rgba(0, 0, 0, .5); display: block; margin-left: 10.25rem; margin-top: -.5rem; @@ -682,4 +683,11 @@ figure code.css{ code.terminal{ background-color: var(--light-body-text); } + + + .manual > article > section > section[id] > ol ol > li aside.number::after, + .manual > article > section > section[id] section > ol > li aside.number::after, + .manual > article > section > section[id] section > aside.number::after{ + border-color: rgba(255, 255, 255, .5); + } } diff --git a/www/fonts/crimson-pro-bold-italic.woff b/www/fonts/crimson-pro-bold-italic.woff deleted file mode 100644 index a6cafa2e..00000000 Binary files a/www/fonts/crimson-pro-bold-italic.woff and /dev/null differ diff --git a/www/fonts/crimson-pro-bold.woff b/www/fonts/crimson-pro-bold.woff deleted file mode 100644 index 27c58fb6..00000000 Binary files a/www/fonts/crimson-pro-bold.woff and /dev/null differ diff --git a/www/fonts/crimson-pro-italic.woff b/www/fonts/crimson-pro-italic.woff deleted file mode 100644 index 13d7c287..00000000 Binary files a/www/fonts/crimson-pro-italic.woff and /dev/null differ diff --git a/www/fonts/crimson-pro.woff b/www/fonts/crimson-pro.woff deleted file mode 100644 index fd51e223..00000000 Binary files a/www/fonts/crimson-pro.woff and /dev/null differ diff --git a/www/fonts/fira-mono-bold.woff b/www/fonts/fira-mono-bold.woff deleted file mode 100644 index 735352fb..00000000 Binary files a/www/fonts/fira-mono-bold.woff and /dev/null differ diff --git a/www/fonts/fira-mono-regular.woff b/www/fonts/fira-mono-regular.woff deleted file mode 100644 index b38ee144..00000000 Binary files a/www/fonts/fira-mono-regular.woff and /dev/null differ diff --git a/www/fonts/fira-sans-bold-italic.woff b/www/fonts/fira-sans-bold-italic.woff deleted file mode 100644 index 7ddbc8d5..00000000 Binary files a/www/fonts/fira-sans-bold-italic.woff and /dev/null differ diff --git a/www/fonts/fira-sans-bold.woff b/www/fonts/fira-sans-bold.woff deleted file mode 100644 index aac5ce35..00000000 Binary files a/www/fonts/fira-sans-bold.woff and /dev/null differ diff --git a/www/fonts/fira-sans-italic.woff b/www/fonts/fira-sans-italic.woff deleted file mode 100644 index b14581ef..00000000 Binary files a/www/fonts/fira-sans-italic.woff and /dev/null differ diff --git a/www/fonts/fira-sans.woff b/www/fonts/fira-sans.woff deleted file mode 100644 index 607b95e6..00000000 Binary files a/www/fonts/fira-sans.woff and /dev/null differ diff --git a/www/fonts/font-awesome.woff b/www/fonts/font-awesome.woff deleted file mode 100644 index 400014a4..00000000 Binary files a/www/fonts/font-awesome.woff and /dev/null differ diff --git a/www/fonts/league-spartan-bold.woff b/www/fonts/league-spartan-bold.woff deleted file mode 100644 index 74fe0963..00000000 Binary files a/www/fonts/league-spartan-bold.woff and /dev/null differ diff --git a/www/fonts/source-sans-pro-bold-italic.woff b/www/fonts/source-sans-pro-bold-italic.woff deleted file mode 100644 index fd66fcc9..00000000 Binary files a/www/fonts/source-sans-pro-bold-italic.woff and /dev/null differ diff --git a/www/fonts/source-sans-pro-bold.woff b/www/fonts/source-sans-pro-bold.woff deleted file mode 100644 index d05810f6..00000000 Binary files a/www/fonts/source-sans-pro-bold.woff and /dev/null differ diff --git a/www/fonts/source-sans-pro-italic.woff b/www/fonts/source-sans-pro-italic.woff deleted file mode 100644 index 55af5ead..00000000 Binary files a/www/fonts/source-sans-pro-italic.woff and /dev/null differ diff --git a/www/fonts/source-sans-pro.woff b/www/fonts/source-sans-pro.woff deleted file mode 100644 index eb522660..00000000 Binary files a/www/fonts/source-sans-pro.woff and /dev/null differ