-
-
Notifications
You must be signed in to change notification settings - Fork 9
/
main.scss
121 lines (117 loc) · 2.86 KB
/
main.scss
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
@import 'ourbigbook/ourbigbook.common.scss';
body {
background-color: $background-color;
/* Scrollbar behaviour.
* We would like to get rid of the X scrollbar and keep only the Y one.
* The below would remove both on Chromium 81 and neither on Firefox 75.
* So for now we just keep both.
* https://stackoverflow.com/questions/3296644/hiding-the-scroll-bar-on-an-html-page
* https://stackoverflow.com/questions/20997183/how-to-hide-scrollbar-in-firefox
* https://stackoverflow.com/questions/20713769/horizontal-only-webkit-scrollbar-style-css
*/
/*
overflow-x: visible;
scrollbar-width: none;
&::-webkit-scrollbar {
display: none;
}
*/
header, footer {
background-color: $navbar-background-color;
}
header {
$font-size: 32px;
align-items: center;
display: flex;
/* https://stackoverflow.com/questions/5078239/how-do-i-remove-the-space-between-inline-block-elements */
font-size: 0;
margin-bottom: 0.8 * $header-font-size;
overflow-x: hidden;
white-space: nowrap;
a {
/* Make buttons occupy the full height of the header bar.
* https://stackoverflow.com/questions/28254332/how-to-vertically-center-the-contents-of-a-flexbox-item/28254903#28254903 */
align-items: center;
align-self: stretch;
display: flex;
font-size: 32px;
font-weight: bold;
height: 1.2em;
margin-left: 0;
margin-right: 0;
padding-left: 10px;
&:first-child {
padding-left: 0;
}
padding-right: 10px;
text-decoration: none;
&.font-awesome-container {
font-size: 28px;
font-weight: normal;
padding-left: 5px;
padding-right: 5px;
}
img {
height: 100%;
margin-right: 0.1em;
}
// Color
color: $navbar-non-brandname-color;
&:visited {
color: $navbar-non-brandname-color;
}
&:hover {
color: $navbar-background-color;
background-color: $navbar-non-brandname-color;
}
&.brand {
&:visited {
color: $brandname-color;
}
&:hover {
color: $navbar-background-color;
background-color: $navbar-non-brandname-color;
}
}
.icon {
color: $color;
}
&:hover {
.icon {
color: $navbar-background-color;
}
}
}
.brand-group {
display: flex;
@media only screen and (max-width: $max-mobile-width) {
padding-left: $toplevel-horizontal-padding-mobile;
}
@media only screen and (min-width: $max-mobile-width + 1) {
padding-left: $toplevel-horizontal-padding-left;
}
}
}
footer {
color: $color;
word-wrap: break-word;
font-size: 1.2em;
a {
color: $a-color;
text-decoration: none;
&:visited {
color: $a-color;
}
&:hover {
text-decoration: underline;
}
}
padding: 10px $toplevel-horizontal-padding-right 10px $toplevel-horizontal-padding-left;
div + div {
margin-top: 5px;
}
}
div.giscus {
margin-top: 1em;
}
}