/*
 * "defaults.css"
 */

body {
	text-align: left;
	text-decoration: none;
	font-family: inherit;
	font-size: inherit;
	font-style: normal;
	font-weight: normal;
	font-variant: normal;
}

/*
 * h1..4 [ class="simple" or "subtitle" ]
 */

h1 {
	text-align: center;
	font-family: sans-serif;
	font-size: 144%;
	font-weight: bold;
	letter-spacing: .2em;
	padding: .2em 1em;
	margin: 1em 0em;
}

h2 {
	font-family: sans-serif;
	font-size: 120%;
	font-weight: bold;
	letter-spacing: .1em;
	padding: .2em 1em;
	margin: 1em 0em;
}

h3, h4, h5 {
	font-family: sans-serif;
	font-size: 100%;
	font-weight: bold;
	letter-spacing: .1em;
	padding: .2em 1em;
	margin: 1em 0em;
}

h1.simple, h2.simple, h3.simple, h4.simple, h5.simple {
	letter-spacing: 0em;
	padding: .2em 0em;
}

h1.subtitle, h2.subtitle, h3.subtitle, h4.subtitle, h5.subtitle {
	letter-spacing: 0em;
	padding: .2em 0em;
}

/*
 * ul [ class="simple" or "relax" ]
 * ol [ class="relax" ]
 * dl [ class="simple", "sched", or "exer" ]
 */

ul, ol, dl {
	margin-top: 1em; margin-bottom: 1em;
}

ul.simple { margin-top: 0em; margin-bottom: 0em; }

ol li, ul li {
	margin-top: 0em; margin-bottom: 0em;
}

ol.relax li, ul.relax li,
ol li.relax, ul li.relax { margin-top: 1em; margin-bottom: 0em; }

dl dt {
	font-family: inherit;
	font-weight: bold;
	margin-top: 1em; margin-bottom: 0em;
	margin-left: 0em;
}

dl.simple dt, dl dt.simple {
	font-weight: normal;
	margin-top: 0em; margin-bottom: 0em;
}

dl.sched dt, dl dt.sched {
	font-family: monospace;
	font-weight: bold;
	margin-top: 1em; margin-bottom: 0em;
}

dl.exer dt {
	font-family: sans-serif;
	font-weight: bold;
	margin-top: 1em; margin-bottom: 0em;
}

dl dd {
	font-weight: normal;
	margin-top: .2em;
	margin-left: 2em;
}

dl.simple dd, dl dd.simple {
	margin-top: 0em;
	margin-left: 2em;
}

dl.exer dd, dl.sched dd {
	font-weight: normal;
	margin-top: .2em;
	margin-left: 2em;
}

/*
 * p [ class="noindent" or class="figure" or class="table" ]
 */

p {
	margin: 1em 0em;
	text-indent: 1em;
}

p.noindent {
	text-indent: 0em;
}

p.figure, p.table {
	margin: 1.2em 0em;
	text-decoration: underline;
	font-size: 110%;
	font-weight: bold;
}

/*
 * pre [ class="sample" ]
 */

pre {
	margin: 1em 0em;
}

pre.sample {
	text-align: left;
	text-decoration: none;
	font-family: monospace;
	font-size: 90%;
	font-style: normal;
	font-weight: normal;
	font-variant: normal;
	padding: .5em 1em;
	border-top: 1px solid; border-bottom: 1px solid;
	margin: 1em 2em;
}

/*
 * pre [ class="syntax", "bb", or "screen" ]
 */

pre.syntax {
	padding: 1ex;
	border: solid red;
	margin: 1em 2em;
}

pre.bb {
	padding: 1ex;
	border: none;
	margin: 1em 2em;
}

pre.screen {
	padding: 1ex;
	border: none;
	margin: 1em 2em;
}

/*
 * table (class="desc")
 */

table.desc th , table.desc td {
	padding: 2px;
}

table.desc th {
	vertical-align: middle; text-align: center; font-weight: bold;
}

table.desc {
	border-collapse: collapse;
	border-spacing: 0;
	border: 2px solid;
}

table.desc tr , table.desc th , table.desc td {
	border: 1px solid;
}

table.desc thead tr , table.desc thead tr td , table.desc thead tr th {
	border-top: 2px solid; border-bottom: 2px solid;
}

/*
 * code
 */

code {
	font-style: normal;
	font-weight: bold;
	font-variant: normal;
}

/*
 * var
 */

var {
	font-style: oblique;
	font-weight: normal;
	font-variant: normal;
}

/*
 * address
 */

address {
	text-align: inherit;
	text-decoration: none;
	font-family: inherit;
	font-size: 100%;
	font-style: normal;
	font-weight: normal;
	font-variant: normal;
}

/*
 * hr [ class="thick", "thin", or "dotted" ]
 */

hr {
	margin: .2em 0em;
}

hr { border-style: solid; height: 2px; } 
hr.thick { border-style: solid; height: 4px; }
hr.thin { border-style: solid; height: 1px; }
hr.dotted { border-style: dotted; height: 1px; }

/*
 * class="alert", "warn", "notice", or "info"
 */

.alert {
	text-decoration: none;
	font-weight: bold;
}

.warn {
	text-decoration: none;
	font-weight: bold;
} 

.notice {
	text-decoration: none;
	font-weight: bold;
} 

.info {
	text-decoration: none;
	font-weight: italic;
}

/*
 * class="date" [ "weekday", "weekend", or "holiday" ]
 */

.date {
	font-family: monospace;
	font-style: normal;
}

/* End of file */