#all { background-color: #CCCCCC; }

  #header {
	font-family: Geneva, Arial, sans-serif;
	color: #000;
	padding: 30px 1ex 1ex;
}
  #header h1 {
    margin: 0ex;
	text-align: center;
	font-weight: bold;
	font-size: 200%;
}

#body h1 {
	font-size: 120%;
}

, #headerbar { border-bottom: 1px solid black;
	font-variant: small-caps;
	font-family: Geneva, Arial, sans-serif;
}
  #footer {
	font-size: 80%;
}

  #body {
    margin-left: 250px;
    padding: 10px;
	font-family: Geneva, Arial, sans-serif;
	margin-right: 40px;
	text-align: justify;
}

  #menu {
	float: left;
	width: 230px;
    padding: 20px 0px 0px 2px;
  }

  .left, .right {
    padding: 0px 1em;
  }

  .left {
	float: left;
	text-align: left;
  }

  .right {
	float: right;
	text-align: right;
  }

  /* styling the menu */

  #menu a {
	text-decoration: none;
	font-weight: bold;
	background-color: #c5c0fb;
}

  #menu a:hover {
	text-decoration: underline;
  }

  #menu .webgen-menu-item-selected {
	border-left: 3px solid black;
  }

  #menu ul {
	list-style-type: none;
	padding: 0px;
	margin-left: 10px;
  }

  #menu li > ul {
	font-size: 95%;
  }

  #menu li {
    margin: 0.0em 0px;
    padding: 2px 0px;
    padding-left: 5px;
    border-left: 3px solid #CCCCCC;
  }

#menu {
	color: #373272;
	margin-left: 20px;
	font: normal 90% Arial, Geneva, sans-serif;
}

#body pre {
	background-color: #ffc;
}

#masterheader {
	display: block;
	height: 130px;
}

#marquis_header {
	text-align: center;
}

#menu h1 {
	font-size: 110%;
}

#info h2 {
	font-size: 90%;
	margin-bottom: -5px;
	margin-left: 5px;
}

#info table {
	font-size: 90%;
	margin-left: 10px;
}

div#vision_thing {
	text-align: center;
	font-size: 110%;
}