body {
  /*font-family: times, serif;*/
  font-family: verdana, helvetica, arial, sans-serif, sans;
  font-size: 11pt;
}

.clear { 
  clear: both;
}

.head {
  min-height: 120px;
  /*padding: 5px;*/
  margin-bottom: 5px;
  background-color: #4444aa;
  color: #ffffff;
  /*padding-top: 1.5em;*/
}
/*** 1.1) logo and title texts ***/
.logo {
	/*position: absolute;   
	left: 0px;
	top: 30px;
	height: 100px;
	width: 150px;*/
  margin-top: 5px;
  margin-bottom: 5px;
  float: left;
}
.headcontent {
	/*position: absolute;   
	top: 30px;
	left: 150px;
	height: 100px;*/
	float: left;
	margin-bottom: 5px;
	margin-top: 0px;
	clear: right;
}
.title {
  height: 100%;
  color: white;
  margin-left: 160px;
}

.title h1 {
  font-size: 1.5em;
}
.title h2 {
  font-size: 1.3em;
}

h1, h2, h3, h4 {
  font-family: verdana, helvetica, arial, sans-serif, sans;
}

/* removed .logo */
.menubar, .navbar, .sidebar {
  display: none;
}

.title h1 {
  font-family: verdana, arial, helvetica, sans-serif;
}

.title h2 {
  font-family: verdana, arial, helvetica, sans-serif;
}

  

.footer {
  display: none;
}

.noprint {
  display: none;
}

/* Caution: if we include this again, we need to explicitly disable the
 printing of links for those things where the link is really javascript
 invocation!
.content a:link:after, .content a:visited:after {
  content: " (" attr(href) ") ";
  font-size: 90%;
}
*/