css/pghdr.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

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(--backgroundColour);
	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(--backgroundColour);
	border-color:    var(--backgroundColour);
	border-radius:   calc(1rem / 3 * 2);
	border-width:    calc(1rem / 3);
	border-style:    solid;
	color:           var(--backgroundColour);
	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;
}