/*
This stylesheet formats /guides/index.html pages.
*/
p, li {margin-top: 18pt;
margin-bottom: 9pt;
margin-left: 30pt;
}
ul li,
ol li {margin-top: 2pt;
margin-bottom: 2pt;
margin-left: 16pt;
font-weight: bold;
}
ol li {font-weight: normal;}
ul ul li {list-style-type: circle;
margin-bottom: 2pt;
margin-left: -2pt;
font-weight: bold;
}
ol ol li {list-style-type: lower-roman;
margin-bottom: 2pt;
margin-left: -2pt;
font-weight: normal;
}
h2 { margin-top: 18pt;
margin-bottom: 9pt;
margin-left: 2pt;
font-size:133%;
font-family: serif;
font-weight: bold;
}
h3 {margin-top: 10 pt;
margin-bottom: 9pt;
margin-left: 20pt;
font-size: 120%;
}
code, pre, tt {font-size: 125%}
.windows {display: none; }
.unix {display: none;}
.helvetica {font-family: sans-serif;}
.indent-1 {margin-left: 46pt;}
.indent-2 {margin-left: 66pt;}