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