html {
	font-size: 100%;
}

body {
}

#linearize-cols-3 td, #linearize-alwd td, #linearize-bb td {
	padding: 5px;
}

td {
	padding: 0 0 0 1em;
}

h1 .parenthetical {
	display: block;
	font-size: 0.7em;
	padding-top: 0;
	font-weight: normal;
}

.Normal {
}

h3.Section {
	padding-top: 1em;
}

.Section {
	font-weight: bold;
	text-align: left;
}

.Subsection {
	text-align: left;
	padding: 0.2em 0.4em;
	font-weight: bold;
	background-color: #CCCCCC;

}

.Example {
	padding-right: 1em;
	word-wrap: break-word;
	color: #0000CC;
	font-style: normal;
	text-align: initial;
}

.casename {
	font-style: italic
}

.text-level1 {
	margin-left: 0;
	padding-left: 0;
}

.text-level2 {
	margin-left: 1em;
}

.Subsubsection {
	text-align: left;




	font-weight: bold;
	font-style: italic
}

.highlight {
	background-color: #F90
}

.example_icon {


	color: #0000FF;
	font-style: italic
}

.Examplewindow {


	font-weight: bold;
}

.text-level3 {
	margin-left: 3em;
}

.principle {
	font-weight: bold;
	color: #CC9900
}

.difference {
	font-size: larger;
	font-weight: bold;
	color: #CC0033
}

.butsee {
	font-style: italic
}

.ITALICSORUNDERLINE {
	font-style: italic
}

.BOLD {
	font-weight: bold
}

.in-state {
	background-color: #CCCCCC
}

.note {
}

.heading {
	font-weight: normal
}

.illustration {
	font-size: large;
	background-color: #F90
}

.text-level2_large {
	margin-left: 2em;
	font-size: large
}

.Subsubsubsection {
	text-align: left;
	font-weight: bold;
	font-style: normal
}

.ExampleBox {
	padding: 0.7em 0 0 0;
	border: 1px solid black;
	display: block;
	margin: 0.5em auto;
	width: 30em;
	text-align: left
}


.example-ul {
	margin-left: 0.5em;
}

.example-ul-level2 {


}

.npcactive {
	color: red;
}