html, body {
    margin:0;
    padding:0;
    font-family: "Lucida Grande", Verdana;
    font-size: 0.9em;
    background-color:#F2F2F2;
}

h4 {
    font-size:1.1em;
    text-decoration:none;
    font-weight:normal;
    color:#23A4FF;
}

#menu {
  position: absolute;
  width: 200px;
  left: 0px;
  margin:15px;
  height: 600px;
}

#groups{
	height: 230px;
	width: 170px;
	overflow: auto;
}
#headline{
	padding: 5px;
	background: #ffffff;
	border: 1px solid black;
	position: absolute;
	width: 200px;
	display: none;
	z-index: 10;
}

#article{
	padding: 5px;
	background: #ffffff;
	border: 1px solid black;
	position: absolute;
	width: 400px;
	height: 555px;
	overflow: auto;
	display: none;
	z-index: 10;
}

#log{
	height: 25px;
}

pre
 {
 white-space: pre-wrap; /* CSS2.1 compliant */
 white-space: -moz-pre-wrap; /* Mozilla-based browsers */
 }

/*proto vis ... */
#fig {
  width: 800px;
  left: 200px;
  position: absolute;
}

select {
  font-family: "Lucida Grande", Verdana;
  width: 170px;
  outline: 0;
}

#title {
  float: right;
  text-align: right;
}

div#savedStates span span{
	margin-left:10px;
}		

div#savedStates span span span{
	margin-left:20px;
}	

div#savedStates span span span span{
	margin-left:30px;
}

div#savedStates span span span span{
	margin-left:40px;
}

span{display:block;}