body {
    font-family: Arial, sans-serif;
    line-height: 120%;
	margin: 4px 16px;
}

body.about {
	font-size: 90%;
}

h2 {
	background-color: #FFEEEE;
	padding: 4px;
	border-style: solid;
	border-width: 1px;
	border-color: #666666;
}

ul {
	list-style-type: circle;
}

div.column {
	padding: 8px;
	background-color: #EEEEEE;
	border-style: dashed;
	border-width: 1px;
	border-color: #666666;
}

div.column h4 {
	margin: 0px;
	padding: 0px 0px 4px 0px;
}

div.column p {
	margin: 0px;
}

p {
	margin: 6px;
}

div.example {
	margin: 16px 0px;
}

span.example {
	font-size: 110%;
}

table {
	font-size: inherit;
	font: 100%;
}

address {
	margin: 6px;
	text-align: center;
	font-style: normal;
	font-size: 90%;
}

a {
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

a.menu:visited {
	color: #0000FF;
}

img {
	border-style: none;
}

img.icon {
	vertical-align: middle;
}

input.text {
	border: solid 1px #888888;
	background-color: #FFEEEE;
    font-family: Arial, sans-serif;
}

#result {
	margin: 8px 0px;
}

table {
	border-collapse: collapse;
	border-spacing: 0px;
}

table.header {
	width: 100%;
}

table.graph {
	float: left;
	width: 80px;
}

td {
	padding: 4px;
}

table.toc {
	margin: 8px 0px 0px 0px;
}

table.toc td {
	font-size: 90%;
	border: 1px solid #AAAAAA;
}

table.toc ol {
	margin: 4px;
	padding: 4px 4px 4px 32px;
}

form.input {
	margin: 8px 0px;
}

div.left {
	float: left;
	width: 22px;
}

div.phrase {
	float: left;
	margin-left: 8px;
	width: 22em;
}

div.hitCount {
	float: left;
	padding-left: 8px;
	text-align: right;
	font-weight: bold;
	width: 10em;
}

div.function {
	float: left;
	padding-left: 8px;
	white-space: nowrap;
	font-size: 85%;
}

div.context {
	font-size: 90%;
	clear: both;
	margin: 0px 0px 0px 4px;
	background-color: #FFFFFF;
	border-style: dotted dotted none dotted;
	border-width: 1px;
	border-color: #888888;
}

div.contextItem {
	margin: 2px;
	border-style: none none dotted none;
	border-width: 1px;
	border-color: #888888;
}

ul.items {
	list-style-type: none;
	margin: 0px;
	padding: 0px;
}

ul.items li {
	padding: 4px;
	margin: 0px;
	width: 48em;
}

div.sample {
	border-color: #888888;
	border-style: solid;
	border-width: 1px;
	margin-left: 8px;
	padding: 4px;
}

#memoContainer {
	border-color: #888888;
	border-style: dashed;
	border-width: 1px;
}

.memo {
	color: #666666;
}

.pos {
	font-size: 80%;
	font-weight: normal;
}

.original {
	background-color: #FFEEEE;
	border-color: #000000;
	border-style: solid none solid none;
	border-width: 1px;
}

.tooltip {
	font-size: 90%;
	color: #666666;
	margin: 4px;
}

.checkPhrase {
	font-weight: bold;
	font-size: 120%;
}

.checkHitCount {
	margin-left: 32px;
	font-size: 120%;
}

.correctionFound {
	padding: 4px 0px;
	background-image: url(../images/wave.gif);
	background-repeat: repeat-x;
	background-position: left bottom;
}

.suggestionFound {
	padding: 2px 0px;
	border-style: none none solid none;
	border-width: 2px;
	border-color: #FF0000;
}

.error {
	color: #FF0000;
	font-weight: bold;
}

table.catalogue th {
	font-size: 85%;
	border-style: solid;
	border-width: 1px;
	border-color: #888888;
	background-color: #FFFFDD;
	padding: 2px;
}

table.catalogue td {
	font-size: 85%;
	border-style: solid;
	border-width: 1px;
	border-color: #888888;
	padding: 2px;
}

/* domMenu styles */

div.domMenu_menuBar, div.domMenu_menuElement, div.domMenu_subMenuBar, div.domMenu_subMenuElement {
	color: #000000;
}

div.domMenu_menuBar table {
	margin: 0px;
}

div.domMenu_subMenuElement a, div.domMenu_subMenuElement a:hover,
div.domMenu_subMenuElement a:active, div.domMenu_subMenuElement a:visited {
	color: #000000;
	text-decoration: none;
}

div.domMenu_subMenuElementHover a, div.domMenu_subMenuElementHover a:hover,
div.domMenu_subMenuElementHover a:active, div.domMenu_subMenuElementHover a:visited {
	color: #FFFFFF;
	text-decoration: none;
}

div.domMenu_menuElement a, div.domMenu_menuElement a:hover,
div.domMenu_menuElement a:active, div.domMenu_menuElement a:visited {
	color: #000000;
	text-decoration: none;
}

div.domMenu_menuElementHover a, div.domMenu_menuElementHover a:hover,
div.domMenu_menuElementHover a:active, div.domMenu_menuElementHover a:visited {
	color: #FFFFFF;
	text-decoration: none;
}

div.domMenu_menuBar, div.domMenu_subMenuBar {
	background-color: #EEEEEE;
	border-style: solid;
	border-width: 1px;
	border-color: #ACA899 #AAAAAA #AAAAAA #ACA899;
}

div.domMenu_menuBar {
	padding: 1px 4px;
	margin: 4px 0px;
}

div.domMenu_menuElement {
	background-color: #EEEEEE;
	padding: 2px 6px 2px 6px;
	font-weight: bold;
	white-space: nowrap;
}

div.domMenu_subMenuElement {
	background-color: #EEEEEE;
	padding: 2px 6px 2px 6px;
	margin: 0px 1px 1px 0px;
	font-weight: bold;
}

div.domMenu_subMenuElementHover {
	background-color: #316AC5;
	color: #FFFFFF;
}

div.domMenu_subMenuElementHeading {
	font-weight: bold;
}

div.domMenu_menuElementHover, div.domMenu_menuElementActive {
	background-color: #316AC5;
	color: #FFFFFF;
	border-color: #906040 #e0b090 #e0b090 #906040;
}