html { 
	margin: 0; 
	padding: 0; 
}

body { 
	font-family: sans-serif; 
	background-color: white;
	color: black;
	margin: 1em;
	padding: 0;
}

.header * {
	color: white;
	background-color: #777777;
	margin: 0;
	padding: 0.5em;
	border: none;
}

table {
      margin: 0.5em;
}

h1 {
	text-align: left;	
}

h2 {
	text-align: left;
}

hr {
	width: 50%;
}

blockquote {
	margin: 1em 2em;
	font-size: small;
}

.small {
	font-size: small;
}

.x-small {
	font-size: x-small;
}

.smallexample {
	width: 54em;
	font-size: 0.7em;	
	margin: 0;
	margin-left: 3em;
	padding: 1em;
}

.info {
	margin: 0em;
	padding: 0em;
        padding-right: 0.5em;
	text-align: right;
	font-weight: bold;
	line-height: 1em;
}

.columns {
	width: 100%;
}

.level  {
	margin: 2em 15%;
	width: 60%;
}

.entry {
        margin-top: 1em;
	margin-bottom: 2em;
}

.wide {
	margin-left: 2em;
	margin-right: 2em;
}

.col_foot {
	padding-left: 1em;
	padding-bottom: 4em;
}

.single_column {
	width: 50%;
        margin-left: 3em;
}

.sub {
	margin: 1em;
}

.framed {
        border: 1px solid black;
	margin-left: 1.5em;
}

.r_block  {
	padding: 0em;
	margin: 0em;
	width: 48%;
	position: absolute;
	right: 1em;
}

.l_block  {
	padding: 0em;
	margin: 0em;
	width: 48%;
	position: absolute;
	left: 1em;
}

p {
	margin: 1em;
	padding: 0em;
}

a {
	color: maroon;
}

ul {
	margin-left: 2em;
	margin-top: 1em;
	padding: 0em;
}

li {
	margin-top: 0.5em;
}

pre {
	margin: 1em;
	padding: 1em;
	border: 1px solid;
	background-color: #eeeeee;
	vertical-align: baseline;
}

img {
	border: 0;
}