summaryrefslogtreecommitdiff
path: root/reference/css
diff options
context:
space:
mode:
Diffstat (limited to 'reference/css')
-rw-r--r--reference/css/base.css8
-rw-r--r--reference/css/page.css29
-rw-r--r--reference/css/pageFooter.css11
-rw-r--r--reference/css/pageHeader.css25
-rw-r--r--reference/css/root.css6
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;
}