html {
	font-size: 100%;
}

body {
}

.w80 {width: 80%}
.w78 {width: 78%}
.w60 {width: 60%}
.w40 {width: 40%}
.w37 {width: 37%}
.w35 {width: 35%}
.w27 {width: 27%}
.w25 {width: 25%}
.w24 {width: 24%}
.w22 {width: 22%}
.w10 {width: 10%}
.vtop {vertical-align: top}
.ht2 {}
.ht19 {}
.ht132 {}
.b1 {border solid 1px;}
html caption { color: #000}
table.abbr td { text-align: left}
h1 sup, h2 sup, h3 sup  {
	font-size:14px;
	}
h1 sup a:visited, h2 sup a:visited, h3 sup a:visited {
	color: #0068AC;
}
.table th {border-bottom: inherit }
tr th {
	border-right: 1px solid #95b3d7;
    border-right-width: 1px;
    border-right-style: solid;
    border-bottom: inherit}
.table td {
 text-align: left;
}
html h1 {
 font-size: 26px;
}
html h2 {
 font-size: 24px;
}
html h3 {
 font-size: 22px;
}
html h4 {
 font-size: 20px;
}

del::before, del::after, 
span.in-state::before, span.in-state::after {
  clip-path: inset(100%);
  clip: rect(1px, 1px, 1px, 1px);
  height: 1px;
  overflow: hidden;
  position: absolute;
  white-space: nowrap;
  width: 1px;
}

del::before {
  content: " [deletion start] ";
}

del::after {
  content: " [deletion end] ";
}

span.in-state::before {
 content: " [in-state format start] "
}
span.in-state::after {
 content: " [in-state format end] "
}



#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: #f0f0f0;

}

.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: #FFDFBF;
}

span.dotspace {
 color: #E60000;
}

.example_icon {


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

.Examplewindow {


	font-weight: bold;
}

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

.principle {
	font-weight: bold;
	/* color: #CC9900 */
	color: #946F00;
}

.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: #f0f0f0
}

.note {
}

.heading {
	font-weight: normal
}

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

.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;
}