Commit | Line | Data |
---|---|---|
c1f22b5a RK |
1 | body { |
2 | font-family: Helvetica Neue, Arial, Helvetica, sans-serif; | |
3 | font-size: 90%; | |
4 | } | |
5 | ||
e2a5e398 RK |
6 | aside { |
7 | font-size: 90%; | |
8 | } | |
9 | ||
c1f22b5a RK |
10 | #toc { |
11 | vertical-align: top; | |
12 | width: 200px; | |
13 | } | |
14 | ||
15 | #rhs { | |
16 | vertical-align: top; | |
17 | } | |
18 | ||
19 | #workarea { | |
20 | border-style: solid; | |
21 | border-color: #ddd; | |
22 | padding: 4px; | |
23 | } | |
24 | ||
25 | #toc .entry { | |
26 | background-color: #eee; | |
27 | padding: .7em; | |
28 | ||
29 | /* These two lines result in indenting wrapped lines forward a little bit. */ | |
30 | /* text-indent: -1em; | |
31 | padding-left: 1em; */ | |
32 | } | |
33 | ||
34 | #toc .entry .selected { | |
35 | color: #00b; | |
36 | } | |
37 | ||
38 | #title { | |
39 | text-align: center; | |
40 | font-size: 1.5em; | |
41 | vertical-align: bottom; | |
42 | } | |
43 | ||
44 | /* CSS for drawing tool */ | |
45 | #workarea #drawing #tool_zoom { | |
46 | background: url('images/tool-palette.png'); | |
47 | background-position: 0px 0px; | |
48 | width: 32px; | |
49 | height: 33px; | |
50 | margin-left: 50px; | |
51 | display: inline-block; | |
52 | } | |
53 | #workarea #drawing #tool_pencil { | |
54 | background: url('images/tool-palette.png'); | |
55 | background-position: -32px 0px; | |
56 | width: 32px; | |
57 | height: 33px; | |
58 | display: inline-block; | |
59 | } | |
60 | #workarea #drawing #tool_eraser { | |
61 | background: url('images/tool-palette.png'); | |
62 | background-position: -64px 0px; | |
63 | width: 33px; | |
64 | height: 33px; | |
65 | display: inline-block; | |
66 | } | |
67 | #workarea #drawing #toolbar { | |
68 | display: inline-block; | |
69 | } | |
70 | ||
71 | /* CSS for independent series */ | |
72 | #workarea #independent-series .thinborder { | |
73 | border-width: 1px; | |
74 | border-spacing: 0px; | |
75 | border-style: solid; | |
76 | border-color: black; | |
77 | border-collapse: collapse; | |
78 | } | |
79 | ||
80 | #workarea #independent-series .thinborder td, | |
81 | #workarea #independent-series .thinborder th { | |
82 | border-width: 1px; | |
83 | padding: 5px; | |
84 | border-style: solid; | |
85 | border-color: black; | |
e2a5e398 | 86 | } |