-
Notifications
You must be signed in to change notification settings - Fork 200
/
ihp-haddock.css
112 lines (89 loc) · 1.87 KB
/
ihp-haddock.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
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
a[href]:link {
color: hsla(192, 81%, 26%, 0.8)
}
a[href]:visited {
color: #839496;
}
a[href]:hover {
text-decoration: none;
color: #093642;
}
#package-header {
background-color: hsl(180deg 4% 95%);
border-bottom: 5px solid transparent;
position: sticky;
top: 0;
z-index: 10000;
}
#package-header > .caption {
color: #073642;
font-weight: bold;
display: flex;
justify-content: center;
}
#package-header > .caption img {
height: 24px;
margin-right: 24px;
line-height: 24px;
}
#package-header #page-menu a:link, #package-header #page-menu a:visited {
color: rgb(13 14 15 / 64%)
}
.caption, h1, h2, h3, h4, h5, h6, summary {
color: #073642;
}
.collapser:before, .expander:before, .noexpander:before {
color: currentColor;
}
* {
transition: all 0.1s;
}
.src {
background-color: rgba(0, 43, 54, 0.11);
border-radius: 3px;
}
.top p.src {
border-bottom-color: rgba(0, 43, 54, 0.11);
}
#interface .src .selflink, #interface .src .link {
color: #839496
}
.keyword {
color: #859900;
}
.def {
color: #073642;
}
body {
font-family: -apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,"Noto Sans",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";
background-color: hsla(192, 81%, 5%, 0.01);
color: #073642;
}
#module-header .info {
display: none;
}
#module-header .caption {
border-bottom: 0;
font-weight: 800;
margin-top: 0;
margin-bottom: 0;
font-size: 1rem;
}
@media (min-width: 768px) {
#module-header .caption {
font-size: 2rem;
}
}
#interface > h1 {
display: none;
}
#footer {
opacity: 0;
}
pre, code, kbd, samp, tt, .src {
font-family: Menlo, Consolas, monospace;
}
#module-list span.collapser, #module-list span.expander {
font-weight: 600;
color: #073642;
}