-
Notifications
You must be signed in to change notification settings - Fork 1
/
xdoc.css
85 lines (72 loc) · 1.11 KB
/
xdoc.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
.public {
padding: 10px;
margin-left: 220px;
background: #F5F5FF;
border-left: 1px solid #E5E5EE;
}
.private {
background: #FFE0E0;
padding: 10px;
margin-left: 220px;
border-left: 1px solid #E5E5EE;
display: none;
}
.public_quicklink {
padding: 5px;
}
.private_quicklink {
padding: 5px;
display: none;
}
#toolbox {
position: fixed;
top: 0px;
right: 0px;
font-size: 12px;
width: 130px;
background-color: whiteSmoke;
padding: 10px;
height: 100%;
overflow: scroll;
}
.menu {
float: left;
width: 200px;
background-color: #fff;
height: 100%;
padding: 12px;
font-size: 12px;
}
.menuitem {
padding: 5px;
}
body {
font-family: 'Palatino Linotype', 'Book Antiqua', Palatino, FreeSerif,
serif;
}
body a:link {
color: blue;
text-decoration: none;
}
body a:visited {
color: blue;
text-decoration: none;
}
body a:hover {
color: red;
text-decoration: none;
}
pre {
font-size: 15px;
line-height: 22px;
color: darkslateblue;
font-style: oblique;
}
.code {
font-size: 15px;
line-height: 18px;
font-family: Menlo, Monaco, Consolas, "Lucida Console", monospace;
}
.identifier {
font-weight: bolder;
}