/*
margin: doesn't get background color; border lines drawn inside it
padding: gets background color; border lines drawn outside it
*/

BODY			{ margin: 0;
				  background-color: white;
				  background-image: url("../srs-bkgnd.gif") }

.page			{ background-color: white;
				  margin-top: 5px;
				  margin-bottom: 20px }

.navbar
{
	background-color: #E9F7F7;
	border-top: solid 1px;
	border-bottom: solid 1px;
	margin-top:5px; margin-bottom:5px;
	font-size: smaller;
	font-weight: bold;
	font-family: sans-serif
}

.navbar,
.navbar .button		{ border-color: #005959 }

.navbar .button
{
	border: solid 2px;
	background-color: #f5f7f7;
}

.navbar,
.navbar A:link,
.navbar A:active,
.navbar A:visited,
.navbar A:hover		{ color: #005959 }

.navbar A:link,
.navbar A:active,
.navbar A:visited	{ text-decoration: none }
.navbar A:hover		{ text-decoration: underline }

.navbar .sideL,
.navbar .sideR,
.navbar .gap1		{ width: 1% }
.navbar .gap2		{ width: 3% }
.navbar .logo		{ width: 4% }
.navbar .text		{ width: 11% }
.navbar .button		{ width: 14% }

.header,
.header-menu	{ background-color: #E9F7F7; /* E9F7F7 DAF0F0 CCE8E8 */
				  border: solid 1px #005959 }

.header-menu	{ font-size: smaller;
				  font-weight: bold;
				  font-family: sans-serif }

.content		{ background-color: white;
				  padding-left: 20px;
				  padding-right: 20px;
				  padding-top: 15px;
				  padding-bottom: 15px;
				  border-left: solid 1px darkgray;
				  border-right: solid 1px darkgray;
				  border-bottom: solid 1px darkgray }

.article-header H2	{ margin-top: 0px;
					  margin-bottom: 0px }

.encoder-page H1	{ margin-top: 0px;
					  margin-bottom: 0px }

.header,
.header A:link,
.header A:active,
.header A:visited,
.article-header,
.article-header HR,
.article-header A:link,
.article-header A:active,
.article-header A:visited,
.encoder-page H1,
.xencoder-page H2	{ color: #005959} /* 0C5252 0D4040 145252 005c5c 2A357D */