body { color: black; background: #ffffff; height: 100%; width: 870px; font-family:"arial"; font-size: 85%}

/* sidebar */

#sidebar { float: left; width: 120pt; margin-top: 10px; padding-left: 5px;}
#sidebar a { color: #0066cc; text-decoration: none;}

#sidebar ul { list-style-type: none;  padding: 0px 0px; margin: 0px;}
#sidebar li { margin: 5px 0px; }
#sidebar label { display: inline-block; width: 130px; }
#sidebar img { margin-bottom: 25px; }
#login_failure {color: white; background-color:red; font-weight: bold;}

#user_name{width: 122px;}
#password{width: 122px;}

/* navigation bar and content */

#nav_and_content { float: left; width: 700px}
.logged_out #nav_bar {margin-top: 20px; min-height: 8px}

/* title bar */
#title_bar { padding-top: 20px;}
#nav_title { font-size: 1.2em; font-weight: bold; text-decoration: underline; color: #0066cc;
	     font-variant:small-caps; text-shadow: #999999 3px 3px 5px;
             text-align: center;}


/* nav bar*/
#nav_bar {margin-left: auto; margin-right: auto; min-height: 35px; margin-top: 20px; width: 56%}
.nav_option {margin:0px 10px; padding: 5px 5px; border: 6px outset #0066cc; float: left;}

#nav_bar a {text-decoration: none; color: #0066cc; font-weight: bold;}

#nav_bar a:hover {background-color: #cccccc;}

#type_options { position:absolute;
  width:230px;
  background-color:white;
  border:1px solid #0066cc;
  margin:0;
  padding:0;
  display:none;
  z-index: 5;}

/* to display the  #type_options-element */
#nav_bar div:hover div {display: block;}

/* content */

#content {margin: 0px auto; clear: both;}

#content a {color: #0066cc; text-decoration: none; font-weight: bold;}
#content a:hover {text-decoration: underline;}

.success_notice, .failure_notice {clear: left; width: 600px;
         margin-top: 5px; margin-left: 10px; margin-bottom: 20px;
	 padding: 5px 10px; text-align: center;  font-weight: bold; }

.success_notice { color: #0066cc;  border: 5px groove #0066cc; }
.failure_notice { color: red;  border: 5px groove red;}

.float_right {float:right; padding-right: 30px; }	
.float_left {float:left;}			
.clear {clear: left;}

.line_container {clear: both; padding-top: 10px; padding-bottom: 10px;}

/* made my own line as the possibilities to format an hr-element seem to be poor */
.line {height: 2px; background-color: #0066cc; }

.links a {margin-right: 10px; }