body {
	background-color:#A0A0A0;
	margin:0px auto;
	font-family: Arial,Helvetica,sans-serif;
	font-size:10pt;
}


#mask {
  position:absolute;
  left:0;
  top:0;
  z-index:9000;
  background-color:#000;
  display:none;
}
  
#options {
  width:375px; 
  height:185px;
  padding:10px;
  background-color:#ffffff;
  -moz-border-radius: 10px;
  border-radius: 10px;
  -webkit-border-radius: 10px;
}

#options > input{
}
#topologies {
  width:375px; 
  height:530px;
  padding:10px;
  background-color:#ffffff;
  -moz-border-radius: 10px;
  border-radius: 10px;
  -webkit-border-radius: 10px;
}

#topologies > input{
}
label{
	margin-bottom:5px;
}

div[class='left']{
	float:left;
	width:200px;
	margin-bottom:10px;
}
div[class='middle']{
  float:left;
  margin-left:-75px;
  width:125px;
  margin-bottom:10px;
}
div[class='right']{
	margin-left:10px;
	margin-bottom:10px;
}

.window {
  position:absolute;
  left:0;
  top:0;
  width:440px;
  height:200px;
  display:none;
  z-index:9999;
  padding:20px;
}


#main_container {
	background-color:#FFFFFF;
	margin:auto;
	overflow:hidden;
	padding-bottom:20px;
}

#top_div {
	margin: 0px 10px 20px 10px;
	color:#2860DE;
	border-bottom:#EEE 3px solid;
}

hr{
	color: #EEE 3px solid;
}

#main_fieldset {
        min-width: 500px;
}

#bot_div {
	margin: 2px 10px 0px 10px;
	padding: 0px 20px 0px 20px;
	border-top:#EEE 3px solid;
	text-align:center;
}

.name {
	font-size:30px;
/*	padding-left:10px;
	padding-bottom:5px;*/
	text-align:center;
	width:500px;
	margin:auto;
	height:70px;
}
.bold {
	font-weight:bold;
}

#system_state{
        font-family:  monospace;
        word-spacing: 5px;
        white-space:  pre-wrap;
}
#main {
	display:block;
	padding:2px;
	overflow:hidden;
	padding-left:30px;
	padding-right:30px;
	padding-top:20px;
}
#litmus_test {
	font-family:"Courier New",Courier,monospace;
	font-size:13px;
	padding:40px;
	overflow:auto;
	padding-left:30px;
	padding-top:20px;
	-moz-box-shadow: 3px 3px 15px #555555;
	-webkit-box-shadow: 3px 3px 15px #555555;
	box-shadow: 3px 3px 15px #555555;
	-moz-border-radius:15px;
	-webkit-border-radius:15px;
}
#litmus_test:focus{
	outline: none;
}
.textDiv {
	text-align:center;
	}
#interact{
	margin: 20px 80px 0px auto;
}

#n_interact{
	margin: 20px 80px 0px auto;
}
#test_select{
	margin: 20px 80px 0px auto;
}
#select_options{
	margin: 20px 80px 0px auto;
}
#select_topology{
	margin: 20px 80px 0px auto;
}
#undo{
	margin: 20px 100px 0px auto;
}
#auto{
	margin: 20px 100px 0px auto;
}
#reset{
	margin: 20px 100px 0px auto;
}
#help{
	margin: 20px auto 0px auto;
}
.button1{
	width: 50px;
}
.button2{
	width: 140px;
}
.trans{
	text-decoration:underline;
	}
.trans:hover{
	cursor:pointer;
}
.scrollButtons {
    cursor: pointer;
    position: absolute;
    top: 30px;
	display:none;
}
.scrollButtons.left {
       left: -20px;
}
.scrollButtons.right {
       right: -20px;
}
#wrapper {
    margin: 0 auto;
    width: 960px;
}
#slider {
    margin: 0 auto;
    position: relative;
    width: 500px;
}
.scroll {
    clear: left;
    overflow-x: hidden;
    overflow-y: auto;
    position: relative;
    width: 500px;
	height: 70px;
}
.scrollContainer div.panel {
    width: 500px;
}
#click:hover{
	cursor: pointer;
}
#cover{
	text-align:center;
	width:500px;
	bottom : -19px;
	position:absolute;
}
#click{
/*	position : absolute;
	bottom : -18px;
	left : 180px;
	text-align : center;*/
	border : 1px #EEE solid;
	width : 180px;
	margin : 0 auto;
    -moz-border-radius-bottomright: 15px;
    -moz-border-radius-bottomleft: 15px;
	border-bottom-left-radius: 15px;
	border-bottom-right-radius: 15px;
	-webkit-border-bottom-left-radius: 15px;
	-webkit-border-bottom-right-radius: 15px;
}
/*.title{
	-moz-box-shadow: 5px 5px 15px #555555;
}*/


.flowingstorage{ 
        font-family: monospace;
	word-spacing:0px;
        
}