.comment
{
  color: #FF9900;
  font-family: sans-serif;
  font-weight: bold;
}

.change
{
  background-color: yellow;
  color: black;
}

.highlight
{
  background-color: #FFFFCC;
  color: black;
}

.unknown
{
  font-style: italic;
}

.main
{
  background-color: blue;
}

.snip
{
  font-family: monospace;
}

pre
{
  font-family: monospace;
  color: #FFFF99;
	background-color: #000000;
}

#jnavbar
{
	text-align: center;
	border: 2px groove #CCCCCC;
	background-color: #CCCCCC;
	padding: 2px;
}

#jnavbar a
{
	border: 2px groove #CCCCCC;
	//border-right: 1px outset #CCCCCC;
	color: #000000;
	background-color: #CCCCCC;
	font-family: dialog, sans-serif;
	font-size: 12pt;
	font-weight: normal;
	
	//padding-left: 5px;
	//padding-right: 5px;
	margin: 0px;
}

#jnavbar a:hover
{
	color: #000000;
	background-color: #9999CC;
	text-decoration: none;
	border: 1px inset #CCCCCC;
	padding: 1px;
}

#jnavbar a:first-child
{
	//border-left: none;
}