1 body
{color: black
; background: white
; margin-left: 8%; margin-right: 13%;
2 font-family: "FreeSans", sans-serif
}
3 h1
{font-size: 150%; font-family: "FreeSans", sans-serif
}
4 h2
{font-size: 125%; font-family: "FreeSans", sans-serif
}
5 h3
{font-size: 100%; font-family: "FreeSans", sans-serif
}
6 a
[href
] {color: rgb
(0,0,255); text-decoration: none
;}
7 a
[href
]:hover
{background: rgb
(220,220,220);}
8 div
.textbox
{border: solid
; border-width: thin
; padding-top: 1em;
9 padding-bottom: 1em; padding-left: 2em; padding-right: 2em}
10 div
.titlebox
{border: none
; padding-top: 1em; padding-bottom: 1em;
11 padding-left: 2em; padding-right: 2em; background: rgb
(200,255,255);
12 font-family: sans-serif
}
14 border: none
; padding-top: 1em; padding-bottom: 1em; padding-left: 2em;
15 padding-right: 2em; background: rgb
(255,220,255);}
16 pre
.example
, pre
.example-preformatted
{border: 1px solid rgb
(180,180,180); padding-top: 1em;
17 padding-bottom: 1em; padding-left: 1em; padding-right: 1em;
18 background-color: rgb
(238,238,255)}
19 div
.spacerbox
{border: none
; padding-top: 2em; padding-bottom: 2em}
20 div
.image
{margin: 0; padding: 1em; text-align: center
}
21 div
.categorybox
{border: 1px solid gray
; padding-top: 1em; padding-bottom: 1em;
22 padding-left: 1em; padding-right: 1em; background: rgb
(247,242,220)}
23 img
{max-width:80%; max-height: 80%; display: block
; margin-left: auto
; margin-right: auto
}
