2 font-family: Helvetica Neue
, Arial
, Helvetica
, sans-serif
;
26 background-color: #eee;
29 /* These two lines result in indenting wrapped lines forward a little bit. */
34 #toc .entry
.selected
{
41 vertical-align: bottom
;
44 /* CSS for drawing tool */
45 #workarea #drawing #tool_zoom
{
46 background: url
('images/tool-palette.png');
47 background-position: 0px 0px;
51 display: inline-block
;
53 #workarea #drawing #tool_pencil
{
54 background: url
('images/tool-palette.png');
55 background-position: -32px 0px;
58 display: inline-block
;
60 #workarea #drawing #tool_eraser
{
61 background: url
('images/tool-palette.png');
62 background-position: -64px 0px;
65 display: inline-block
;
67 #workarea #drawing #toolbar
{
68 display: inline-block
;
71 /* CSS for independent series */
72 #workarea #independent-series
.thinborder
{
77 border-collapse: collapse
;
80 #workarea #independent-series
.thinborder
td,
81 #workarea #independent-series
.thinborder
th {
89 #workarea #resize #div_g
{
90 /* The left and top are just guesses, this needs a proper run-through */