diff options
Diffstat (limited to 'reference/css')
-rw-r--r-- | reference/css/base.css | 8 | ||||
-rw-r--r-- | reference/css/page.css | 29 | ||||
-rw-r--r-- | reference/css/pageFooter.css | 11 | ||||
-rw-r--r-- | reference/css/pageHeader.css | 25 | ||||
-rw-r--r-- | reference/css/root.css | 6 |
5 files changed, 53 insertions, 26 deletions
diff --git a/reference/css/base.css b/reference/css/base.css index 16de65a..04ef0ad 100644 --- a/reference/css/base.css +++ b/reference/css/base.css @@ -8,7 +8,6 @@ li p + ul,li p + ol { p a,p a:visited { color: var(--colour); - font-weight: bold; text-decoration:none; } @@ -17,8 +16,9 @@ p a:hover { } p.math,span.math,td.math { - font-size:calc(3rem / 2); - padding: calc(1rem / 3) 0; + font-size: calc(3rem / 2); + padding: calc(1rem / 3) 0; + user-select:none; } table { @@ -34,7 +34,7 @@ td,th { th { background-color:var(--foregroundColour); - color: var(--backgroundColour1); + color: var(--backgroundColour); text-align: center; } diff --git a/reference/css/page.css b/reference/css/page.css index 7b6354e..f1f30ce 100644 --- a/reference/css/page.css +++ b/reference/css/page.css @@ -1,5 +1,5 @@ div.page { - background-color: var(--backgroundColour1); + background-color: var(--backgroundColour); border-radius: 1rem; border-top-left-radius: 0; border-top-right-radius:0; @@ -11,19 +11,27 @@ div.page { width: 100%; } -div.page p.pageTitle,div.page div.section p.sectionTitle { +div.page p.pageHeading,div.page div.section p.sectionHeading { font-family:"Helvetica","sans-serif"; font-weight:bold; } -div.page p.pageTitle { +div.page p.pageHeading { font-size: 3rem; letter-spacing:calc(1rem / 12); margin-bottom: 1rem; - text-align: center; + text-align: right; } -div.page div.section p.sectionTitle { +div.page table tr.small { + font-size:calc(2rem / 3); +} + +div.page div.section + div.section { + margin-top:1rem; +} + +div.page div.section p.sectionHeading { border-top-color:var(--foregroundColour); border-top-style:solid; border-top-width:calc(1rem / 3); @@ -32,6 +40,13 @@ div.page div.section p.sectionTitle { width: fit-content; } -div.page div.section + div.section { - margin-top:1rem; +div.page div.section p.subHeading { + font-size: calc(2rem / 3); + font-weight:bold; + margin-top: 0; } + +div.page div.section p.subHeading::before { + content: "\0020\2014\0020"; + font-weight:normal; +}
\ No newline at end of file diff --git a/reference/css/pageFooter.css b/reference/css/pageFooter.css index e69de29..2e6afed 100644 --- a/reference/css/pageFooter.css +++ b/reference/css/pageFooter.css @@ -0,0 +1,11 @@ +div.copyrightNotice { + font-weight:bold; + margin: 0 auto; + margin-top: 1rem; + text-align: center; + width: fit-content; +} + +div.copyrightNotice p + p { + margin-top:calc(1rem / 2); +} diff --git a/reference/css/pageHeader.css b/reference/css/pageHeader.css index 23321f5..a69501e 100644 --- a/reference/css/pageHeader.css +++ b/reference/css/pageHeader.css @@ -1,11 +1,11 @@ div.logotype { - background-color: var(--colour); - border-radius: calc(6rem * 12/60); - border-top-left-radius: 0; - height: 6rem; - margin: 0 auto; - margin-bottom: 1rem; - width: 6rem; + background-color: var(--colour); + border-radius: calc(6rem * 12/60); + border-top-left-radius:0; + height: 6rem; + margin: 0 auto; + margin-bottom: 1rem; + width: 6rem; } div.logotype img { @@ -24,7 +24,8 @@ p.title { div.navigationBar { background-color: var(--foregroundColour); - color: var(--backgroundColour1); + color: var(--backgroundColour); + font-weight: bold; margin: 0 auto; max-width: var(--maximumPageWidth); min-width: var(--minimumPageWidth); @@ -34,12 +35,12 @@ div.navigationBar { } div.navigationBar img.themeToggler { - background-color:var(--backgroundColour1); - border-color: var(--backgroundColour1); + background-color:var(--backgroundColour); + border-color: var(--backgroundColour); border-radius: calc(1rem / 3 * 2); border-width: calc(1rem / 3); border-style: solid; - color: var(--backgroundColour1); + color: var(--backgroundColour); cursor: pointer; display: block; height: calc(3rem - 1rem / 2 * 2); @@ -58,7 +59,7 @@ div.navigationBar p,div.navigationBar p span + span::before { } div.navigationBar p,div.navigationBar p span a,div.navigationBar p span a:hover { - color:var(--backgroundColour1); + color:var(--backgroundColour); } div.navigationBar p span a:hover { diff --git a/reference/css/root.css b/reference/css/root.css index b7d29e9..519e82f 100644 --- a/reference/css/root.css +++ b/reference/css/root.css @@ -5,8 +5,8 @@ --white: #F6F4F4; /* 31/32 */ --blue: #5F7C9C; /* oklch(62.5% 0.118 259.065) */ - --backgroundColour0:var(--black); - --backgroundColour1:var(--darkgrey); + --bodyColour:var(--black); + --backgroundColour:var(--darkgrey); --foregroundColour: var(--white); --colour: var(--blue); @@ -24,7 +24,7 @@ } body { - background-color:var(--backgroundColour0); + background-color:var(--bodyColour); color: var(--foregroundColour); padding: 1rem; } |