#article {
	border	: darkgreen 2px dashed;
	background-color : white;
	padding : 1em;
}

#advertisement {
	float		: right;
	padding-left: 1em;
}

#codesnippet {
	margin		: 0em 8em 0em 3em;
	padding		: 6px 6px 6px 6px;
	border		: black 1px dotted;
	background-color : #f0f0f0;
}

.singlespaced {
	margin-bottom	: 1em;
}
.doublespaced {
	margin-bottom	: 2em;
}

.underlined {
	border-bottom	: black 1px solid;
}

body {       
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
	line-height : 1.3em;
	margin      : .3in 1in .3in 1in;
	background-color : blanchedalmond;
}               

h1 {
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
	font-weight : 900%;
	font-size   : 150%;
	margin		: .5ex 0em 1em 0em;
}

h2 {
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
	font-weight : 900%;
	font-size   : 120%;
}

h3 {
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
	font-weight : 900%;
	font-style  : italic;
	font-size   : 100%;
}

h4 {
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
	font-weight : 600%;
	font-style  : italic;
	font-size   : 80%;
}

h5 {
	font-family : "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
	font-weight : 400%;
	font-style  : italic;
	font-size   : 60%;
	color		: darkgreen;
}

p {
	margin		: 1ex 1em 2ex 0em;
}

ol {
	list-style-type	: decimal;
	list-style-position : inside;
}

li {
	text-indent	: -1.45em;
	margin-left	: 2.5em;
}

#sequence {
	margin		: .5em 0em .5em 1.45em;
}

a {
	color		: darkgreen;
}

a:link {
	text-decoration: none;
	font-weight	: 600;
}

a:visited {
	text-decoration: none;
	font-weight	: 600;
}

a:hover {
	text-decoration: underline;
	font-weight	: 600;
}

a:active {
	text-decoration: underline;
	font-weight	: 600;
}

pre {
	font-family : "Lucida Console", "New Times Roman", "Lucida Typewriter", "Courier";
	font-size	: 90%;
}

tt {
	font-family : "Lucida Console", "New Times Roman", "Lucida Typewriter", "Courier";
	background-color : #e0e0e0;
}

dt {
	font-weight	: 900;
}