body { 
  background-color: #000000;
  margin: 0px 0px 0px 0px;
}

table.global { 
  border-collapse: collapse;
  border: 0px solid black;
  width: 100%;
}

table.global tr td { 
  padding: 0px 0px 0px 0px;
}

a {
	color: #eeeeee;
	text-decoration: none;
	font-weight: bold;
}

a:link {
	color: #5b4329;
	text-decoration: underline;
}
a:visited {
	color: #5b4329;
	text-decoration: underline;
}
a:active {
	color: #000000;
	text-decoration: underline;
}
a:hover {
	color: #000000;
	text-decoration: none;
}


a.menu {
  font-size: 110%;
  color: #5b4329;
  text-decoration: none;
  font-weight: bold;
  white-space: nowrap;
  margin: 0px 10px 0px 10px;
}

a.menu:link {
	color: #5b4329;
	text-decoration: none;
	white-space: nowrap;
}

a.menu:visited {
	color: #5b4329;
	text-decoration: none;
	white-space: nowrap;
}
a.menu:active {
	color: #5b4329;
	text-decoration: none;
	white-space: nowrap;
}
a.menu:hover {

	color: #000000;
	text-decoration: none;
	white-space: nowrap;
}

a.gal { 
  font-weight: normal;
  text-decoration: none;
  color: black;
}

a.gal img { 
  border: 0px solid black;
}


pre {
	color: #dddddd;
}


div.result {
	width: 70ex;
}


div.result a{
	text-decoration: underline;
	font-weight: normal;
}


div.logo {
	font-size: 70%;
}


div.current {
}

table {
	padding-bottom: 0px;
	margin-bottom: 0px;
}


div.submenu {
	font-weight: normal;
	text-align: left;		
	padding-bottom: 0px;
	margin-bottom: 0px;
}
div.submenu b {
	color: #ffffff;
	background: #5555bb;
	border-style: double; 
	border-color: #ffffff #000000 #5555bb #ffffff;
	border-width: 3px;
}
div.submenu A {
	color: #bbbbcc;
	background: #333399;
	border-style: double; 
	border-color: #000000 #000000 #111177 #000000;
	border-width: 3px;
}
div.submenu A:link {
	background-color: #333399;
	color: #bbbbcc;
}
div.submenu A:visited {
	background-color: #333399;
	color: #bbbbcc;
}
div.submenu A:active {
	background-color: #333399;
	color: #bbbbcc;
}
div.submenu A:hover {
	color: #ffffff;
	text-decoration: none;
	background: #5555bb;
	border-color: #ffffff #000000 #5555bb #ffffff;
}


h1 {
  color: #fffab7;
  font-size: 180%;
  background: #5b4329;
  text-align: left;
  margin-top: 0px;
  margin-bottom: 1ex;
  padding-left: 10px;
}