body {
	font-family: Tahoma, arial, Verdana, Geneva, Helvetica, sans-serif;
	font-size: small;
	margin: 10px;
	background-color: #eeeeee;
	padding:10px;
}

.border {
	background-color:white;
	padding: 10px 10px;
	border: 1px solid #999999;
	width:1000px;
	margin:auto;
}

.image-background {
	width:100px;
	height:132px;
	float:left;
	background-image:url(../images/benjamin-background.png);
	background-repeat:no-repeat;
}

a {
	color: #185DCA;
	text-decoration: none;
}

a:visited {
	color: #132E9A;
}

a:hover {
	color: #3A71CA;
	text-decoration: underline;
}

td {
	border: 0px;
	vertical-align: top;
	padding: 2px 2px;
	margin: 0px 0px;
	font-size: 10pt;
}


.text {
	color: navy;
	font-family: arial, Verdana, Geneva, Helvetica, sans-serif;
	font-size: small;
	margin: 0px 0px;
	list-style-image: url(../images/doc.gif);
	list-style-position: inside;
	background-repeat: no-repeat;
	background-position: right;
}

.cmdline {
	border: 1px inset;
	background-color: black;
	color: silver;
	padding: 5px 5px;
}
pre {
	font-size:8pt;
}
code {
	background-color: #f8f8f8;
	font-size: small;
	border:1px dotted grey;

}

img {
	border: none;
	vertical-align: middle;
}

.important {
	color: red;
	font-weight: bold;
}

.header_light {
	font-family:Verdana, Arial, Helvetica, sans-serif;
	font-size:small;
	border:1px solid #ebebff;
	overflow:auto;
	color:#000099;
	padding: 0.2cm;
}

.list {
	 list-style-type: none;
}

.list-sub {
	 margin:0 1em;
	 list-style-position:inside;
}

.small {
	font-size:x-small;
	font-family:Geneva, Arial, Helvetica, sans-serif;
}

.big {
	font-size:x-large;
	font-family:Verdana, Arial, Helvetica, sans-serif;
}

textarea, input {
	margin: 3px 3px;
}

.gallery {
	min-width: 130px;
	max-height: 130px;
	min-height: 130px;
	text-align:center;
	border: thin outset;
	padding: 5px 5px;
	margin: 5px 5px;
	float: left;
}
.info {
	border: 1px solid #A1A15D;
	background-color:#FDFDC4;
	margin-top: 5px;
	margin-bottom: 5px;
	padding: 4px 4px;
	font-size:smaller;
}
.error {
	border: 1px solid #A15D5D;
	background-color:#FDC5C5;
	margin-top: 5px;
	margin-bottom: 5px;
	padding: 4px 4px;
	font-size:smaller;
}

.item-with-image {
	padding-left:70px;
	background-color:transparent;
	background-repeat:no-repeat;
	background-position:left;
	min-height:64px;
}

h1, h2, h3 {
	font-weight: normal;
	margin-left:0;
	margin-right:0;
	margin-bottom:2pt;
	margin-top:2pt;
}

h1 {font-size:24pt;}
h2 {font-size:18pt;}
h3 {font-size:12pt;}

.red {color:red;}
.comment {
	font-size:8pt;
	color:#737679;
}
.header {
	font-family: Tahoma, Arial;
	font-size: x-small;
	background-color:#438eff;
	color: white;
	padding: 5px 5px;
}

.header:hover {
	background-color:#7db1ff;
	color: #eeeeee;
}

.header a{
	color:white;
}

.footer {
	background-color:#E0E5EC;
	padding:0.4em;
}
.topic-1 {
	color:#8BAB53;
	font-weight:bold;
	font-size:12pt;
}
.topic-2 {
	color:#8BAB53;
	font-weight:bold;
	font-size:10pt;
}
.example {
	border:1px dotted #6D8641;
	padding:0.4em;
	background-color:#FBFDF8;
	margin-bottom:0;
	word-wrap:break-word;
	white-space:-moz-pre-wrap;
	white-space:pre-wrap;
}
.example-comment {
	margin:0;
	padding-top:5px;
	padding-bottom:5px;
	font-size:7pt;
	color:#737679;
	font-weight:bold;
}
.example-image {
	background-color:white;
	padding: 5px 5px;
	border: 1px solid #999999;
	float:left;
}
.fhlogo {
	background-color:white;
	background-image:url(../images/fh-bg.png);
	background-repeat:no-repeat;
	background-position:left top;
}

.keyword { color:blue; }
.string {color:#3399CC; }