-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathstyles.css
92 lines (77 loc) · 1.62 KB
/
styles.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
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
/* hide title number: https://github.com/yjwen/org-reveal/pull/284 */
span[class|=section-number] {
display: none;
}
div[class=org-src-container] {
float: right;
}
pre[class=code-wrapper] {
width: min-content;
}
code[class] {
/* width: min-content; */
border-radius: 10px;
padding: 30px !important;
}
code {
background: #272822;
border-radius: 10px;
padding: 2px 5px;
color: #a6e22e;
font-size: 85%;
}
span[class=underline] {
background: darkslateblue;
color: lightgoldenrodyellow;
border-radius: 10px;
text-decoration-line: none;
font-weight: bold;
font-size: x-large;
font-variant: small-caps;
vertical-align: middle;
padding: 2px 5px;
margin-left: 1em;
}
h2[class=author] {
color: skyblue;
}
h2[id] {
color: gold;
}
b {
color: red;
}
.footnote {
font-size: x-large;
font-style: italic;
}
ul ul, ol ul, ul ol, ol ol {
font-size: 75%;
}
pre[class=example] {
width: min-content;
}
/* Fix scrollbar styles */
/* https://www.digitalocean.com/community/tutorials/css-scrollbars */
/* https://stackoverflow.com/q/14817848/183120 */
/* Works on Firefox */
* {
scrollbar-width: thin;
scrollbar-color: gray #272822;
}
/* Works on Chrome, Edge, and Safari */
*::-webkit-scrollbar {
width: 12px;
}
*::-webkit-scrollbar-track {
background: #272822;
border-radius: 10px;
-webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.3);
}
*::-webkit-scrollbar-thumb {
background-color: gray;
border-radius: 20px;
border: 3px solid #272822;
border-radius: 10px;
-webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.5);
}