diff options
Diffstat (limited to 'css/pageHeader.css')
-rw-r--r-- | css/pageHeader.css | 64 |
1 files changed, 0 insertions, 64 deletions
diff --git a/css/pageHeader.css b/css/pageHeader.css deleted file mode 100644 index baeecfd..0000000 --- a/css/pageHeader.css +++ /dev/null @@ -1,64 +0,0 @@ -div.navbar { - background-color:var(--foregroundColour); - box-sizing: border-box; - font-family: "Helvetica","sans-serif"; - height: auto; - margin: auto; - max-width: var(--maximumPageWidth); - min-width: var(--minimumPageWidth); - padding: 1rem 2rem; - text-align: center; - width: 100%; -} - -div.navbar p span.section + span.section::before { - content:"\0020\2014\0020" -} - -div.navbar p,div.navbar p span.section a,div.navbar p span.section a:visited { - color: var(--backgroundColour0); - text-decoration:none; -} - -div.navbar p span.section a:hover { - color:var(--colour); -} - -div.navbar p span.section a + a::before { - content:"\0020\00B7\0020" -} - -div.navbar p span.section a.mandelbrot-link:hover { - color:var(--green); -} - -div.navbar img.themeToggler { - background-color:var(--backgroundColour0); - border-color: var(--backgroundColour0); - border-radius: calc(1rem / 3 * 2); - border-width: calc(1rem / 3); - border-style: solid; - color: var(--backgroundColour0); - cursor: pointer; - display: block; - margin: 0 auto; - margin-top: 1rem; - user-select: none; - width: calc(3rem - 1rem / 2 * 2); -} - -div.banner { - background-color:var(--colour); - display: flex; - height: 12rem; - width: 100%; -} - -div.banner img { - background-color:inherit; - border-radius: 0; - border-style: none; - height: 8rem; - margin: auto; - width: 10rem; -} |