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
|
/* This background color is hardcoded in the docs in a few places. Do a "git
grep" if changing it */
body {background-color: #e8dfd0;}
pre {border: 1px solid black; box-shadow: 3px 3px 3px #606060;}
pre.example {background-color: #303030; color: #e5e5e5; max-width 700px}
.org-svg {width: 90%; min-width: 500px; max-width: 900px;}
pre.src {
background-color: #303030;
color: #e5e5e5;
position: relative;
overflow: auto;
}
/* Style for the nav bar at the top. Adapted from */
/* o-blog.css */
.supernav_title {
font-size: 30px;
font-weight: bolder;
}
.supernav_list {
vertical-align: middle;
top: 0;
list-style: none outside none;
white-space: normal;
overflow: hidden;
}
.supernav_list li {
display: inline-block;
}
.supernav_list li + li:before {
content: " / ";
padding: 0 10px;
}
img {
max-width: 100%;
}
|
