5
font-family: Arial, Helvetica, sans-serif;
7
* It's a Bad Idea(tm) to use fixed font sizes.
8
* Uncomment it if you _really_ want
13
div.table table, div.informaltable table {
15
border-collapse: separate;
16
border: solid 1px #333366;
20
div.table th, div.informaltable th {
27
div.table td, div.informaltable td {
51
border: solid 1px #aaa;
53
font-family: Arial, Helvetica, sans-serif;
56
span.guimenu, span.guisubmenu, span.guimenuitem {
72
border-left: solid 2px black;
75
div.important .title, div.caution .title, div.warning .title {
79
div.important, div.warning, div.caution {
81
border-left: solid 2px maroon;