css/navigationBar.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

div.navigationBar {
	background-color:var(--foregroundColour);
	border-radius:   1rem;
	color:           var(--backgroundColour);
	font-family:     var(--sansSerifFont);
	font-weight:     bold;
	padding:         1rem 2rem;
	text-align:      center;
	width:           100%;
}

div.navigationBar 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;
	height:          2rem;
	margin:          0 auto;
	margin-bottom:   1rem;
	user-select:     none;
	width:           3rem;
}

div.navigationBar p + p {
	margin-top:calc(1rem / 2);
}

div.navigationBar p,div.navigationBar span.link + span::before {
	content:"\0020\00B7\0020";
}

div.navigationBar p,div.navigationBar span.link a,div.navigationBar span.link a:hover {
	color:var(--backgroundColour);
}

div.navigationBar span.link a:hover {
	text-decoration:underline;
}

div.navigationBar span.deadLink a {
	text-decoration:line-through;
}

div.navigationBar span.deadLink a:hover {
	text-decoration:line-through underline;
}