html {
	margin: 0px;
	padding: 0px;
	height: 100%;
}

body {
	padding: 12px;
	height: 100%;
	line-height: 1.2em;
	background-color: #FFFFFF;
	color: #3F3F3F;
	border-color: #3F3F3F;
	font-family: "Times New Roman", "Times Roman", serif;
	font-size: 1.02em;
	min-width: 500px;
	max-width: 840px;
}

#pageHeader {
	text-align: left;
}

#pageTitle {
	margin-top: 0px;
	margin-right: 0px;
	margin-bottom: 6px;
	margin-left: -1px;
}

#pageNavbar {
	margin-top: -6px;
	margin-bottom: -4px;
}

#pageFooter {
	text-align: center;
	font-size: 80%;
}

#quickSearch {
	float: right;
	position: relative;
	padding-top: 1.5em;
}

#quickSearch input {
	font-size: 60%;
	margin-left: .5em;
}

/* articleBody contains the main content */
#articleBody {
	margin-left: 12px;
	margin-right: 12px;
	text-align: left;
}

#articleBody .adsenseLeaderboard {
	text-align: center;
}

#articleBody .articleDate {
	font-size: 80%;
	text-align: right;
}

#articleBody .articleFooter {
	text-align: center;
	font-size: 80%;
	margin-bottom: 10px;
}

#articleBody .articleTitle {
	margin-top: 0px;
}

#articleBody .articleNote {
	margin-bottom: 12px;
	padding: 6px;
	border-style: solid;
	border-color: #008800;
	border-width: 1px;
	background-color: #DDFFDD;
}

#articleBody .articleWarning {
	margin-bottom: 12px;
	padding: 6px;
	border-style: solid;
	border-color: #CC0000;
	border-width: 1px;
	background-color: #FFDDDD;
}

#articleBody .downloadContainer {
	float: right;
	margin-left: 12px;
	margin-right: 24px;
	margin-bottom: 6px;
	padding: 10px;
	border-style: solid;
	border-width: 1px;
	background-color: #F4F4F4;
}

#articleBody .downloadIcon {
	float: left;
	padding-top: 4px;
}

#articleBody .downloadLink {
	text-align: right;
	font-weight: bold;
	font-style: italic;
	padding-left: 38px;
}

#articleBody .downloadDate {
	text-align: right;
	font-size: 80%;
}

#articleBody .imageContainer {
	float: right;
	width: 220px;
	overflow: hidden;
	margin-left: 12px;
	margin-right: 24px;
	margin-bottom: 6px;
	padding: 10px;
	border-style: solid;
	border-width: 1px;
	font-size: 80%;
	background-color: #F4F4F4;
}

#articleBody .imageThumbContainer {
	width: 218px;
	height: 218px;
	margin-bottom: 6px;
	overflow: hidden;
	border-style: solid;
	border-width: 1px;
	background-color: #FFFFFF;
}

#articleBody .imageThumbnail {
	overflow: visible;
}

#articleBody .imageCaption {
	margin: 2px;
}

#articleBody .sidebarContainer {
	float: right;
	width: 44%;
	border-width: 1px;
	border-style: solid;
	background-color: #F4F4F4;
	margin-left: 12px;
	margin-right: 24px;
	margin-bottom: 6px;
	padding: 10px;
	font-size: 80%;
}

#articleBody .sidebarTitle {
	margin-top: 6px;
}

#articleBody .searchResultsHeader {
	margin-top: .8em;
	margin-bottom: 1em;
}

#articleBody .searchResultsFooter {
	text-align: center;
	font-size: 80%;
	font-style: italic;
}

#articleBody .searchEntryTitle {
	margin: .5em;
}

#articleBody .searchEntryBody {
	margin-top: .5em;
	margin-bottom: 0em;
	margin-left: 1em;
	margin-right: 1.5em;
}

#articleBody .searchEntryFooter {
	margin-top: .25em;
	margin-bottom: 1em;
	margin-left: 1em;
	margin-right: 1.5em;
	text-align: right;
	font-size: 80%;
	font-style: italic;
}

a:link {
	text-decoration: none;
	color: #060F73;
}

a:visited {
	text-decoration: none;
	color: #660066;
}

a:hover {
	text-decoration: underline;
}

blockquote {
	margin: 12px;
	background-color: #F4F4F4;
	padding-left: 6px;
	padding-right: 18px;
	border-left-style: dotted;
	border-left-width: thin;
}

/* <code> is used for inline snippets */
code {
	background-color: #F4F4F4;
	border-bottom-style: dotted;
	border-bottom-width: thin;
	font-size: 80%;
}

h1,h2,h3,h4,h5,h6 {
	line-height: 1.1em;
	font-family: Tahoma, "Lucida Grande", Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-weight: bolder;
}

h1 {
	font-size: 1.6em;
}

h2 {
	font-size: 1.4em;
}

h3 {
	font-size: 1.3em;
}

h4 {
	font-size: 1.1em;
}

h5 {
	font-size: .9em;
}

h6 {
	font-size: .9em;
	font-weight: lighter;
}

ul {
	list-style-type: disc;
}

li {
	margin-top: 10px;
	margin-bottom: 6px;
}

pre {
	margin-left: 24px;
	margin-right: 24px;
	padding: 6px;
	border-style: dotted;
	border-width: 1px;
	background-color: #F4F4F4;
	font-size: 80%;
}

.console {
	background-color: #000000;
	color: #CCCCCC;
	font-family: Fixedsys, VT-100, Terminal, monospace;
}

.filename {
	font-style: italic;
}