body {
    position: relative;
    margin: 30px auto 20px auto;
    font-family: Verdana, Helvetica, Arial, "Sans Serif";
    font-size: 12px;
    width: 550px;
    text-decoration: none;
	background: white;
}

h1 {
    font-size: 14px;
    font-weight: bold;
}

h3 {
    font-size: 18px;
    font-weight: bold;
}

div.front {
    float: left;
	width: 220px;
	padding: 20px 10px 0px 0px;
}

div.pic {
    float: right;
    margin: 35px 0px 0px 0px;
}

#spacer {
	padding-top: 15px;
}

a {
    text-decoration: none;
}

pre {
    font-family: Verdana, Helvetica, Arial, "Sans Serif";
    font-size: 12px;
    width: 600px;
    word-wrap: break-word;
    white-space: -moz-pre-wrap;
    white-space: -o-pre-wrap;
}

#matrix {
    position: relative;
    width: 500px;
    margin: 40px auto 0px auto;
}

img.pic {
    border: 1px solid black;
    text-decoration: none;
}

#caption {
    width: 500px;
    margin: 20px auto 0px auto;
}

#pic {
    margin 40px auto 0px auto;
    position: relative;
    text-decoration: none;
    text-align: center;
}

#footer {
    position: relative;
    clear: both;
    width: 500px;
    text-align: center;
    margin: 30px auto 0px auto;
    font-size: 11px;
}

#rng {
    width: 450px;
    position: relative;
    font-size: 12px;
    border-top: 1px solid black;
    border-left: 1px dashed black;
    border-right: 1px dashed black;
    margin: 40px auto 40px auto;
    padding: 20px 20px 20px 20px;
}

#stamp {
    float: right;
    width: 80px;
    height: 80px;
    margin: 0px -5px 5px 7px;
    padding: 0px 0px 0px 0px;
}

#logo {
	font-size: 16px;
	font-weight:bold;
	color: gray;
	text-align: right;
	padding: 10px 10px 10px 10px;
	clear: both;
}

#header {
	font-size: 18px;
	text-align: center;
	padding-bottom: 20px;
	border-bottom: 1px solid black;
}

p.small {
    font-size: 10px;
}

a:link {
text-decoration: none;
color: #6666ff;
}

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

a:hover {
text-decoration: underline;
}

a:active {
text-decoration: underline;
}

.abstract {
	border: 1px solid black;
	padding: 10px 10px 10px 10px;
	background: #FFFFEE;	
}

#resources p {
	padding: 0px 0px 13px 0px;
}