html, body, div, h1, h2, h3{
	margin:0;
	padding:0;
}


/* for drawing a network */
.node {
	stroke: #000;
	stroke-width: 0;
}

.positive { 
	stroke: #f22; 
}

.negative {
	stroke: #55f;
	stroke-dasharray: 2;
}


/* for user interface */
body, html {
	font-family:'ヒラギノ角ゴ Pro W3','Hiragino Kaku Gothic Pro','メイリオ',Meiryo,'ＭＳ Ｐゴシック',sans-serif;
	background: #999999;
	width:100%;
	height:100%;
	text-align:center;
}

svg { 
	background-color: #222222;
	border-style:ridge;
	border-width:4px;
	border-color:gray;
	width: 70%;
}

h1 {
	background-color: #dddddd;
	padding: 15px 0;
}

h2, h3 {
	font-size: 20px; 
	font-weight: bold; 
	color: #fff;
}

div#container {
	height: 100%;
}

div#operations {
	width: 200px;
	height: 100%;
	float: left;
	background-color: #444;
}

div.buttonContainer {
    margin: 3px 10px;
}

div.param {
	padding: 5px 5px;
	margin: 10px 5px;
	background-color: #222;
	cursor: default;
	border-radius: 20px;         /* CSS3 */
	-moz-border-radius: 20px;    /* Firefox */
	-webkit-border-radius: 20px; /* Safari,Chrome */
}

div.param:hover {
	background-color: #888;
	position:relative;
	top:0px; left:0px;
}

div.param:hover h2{
	color: #ff0;
} 

div.param:hover button.small{
	background-color: #eee;
} 

div.param:hover button.large{
	background-color: #eee;
} 

div.param:hover button:hover {
	background-color: #c00;
} 

div.param:hover button:disabled {
	background-color: #aaa;
} 

div.param:hover button:active {
	background-color: #f44;
} 

div.param:hover .pop {
    display: block; /*ブロック要素で表示*/
}

span.pop {
	text-align:left;
    position: absolute;
    top:5px; left:180px;
    display: none; 
    padding: 5px 15px; 
    width: 250px;
    font-size: 15px;      
    text-decoration: none; 
    color: #000; 
    background-color: rgba(255,255,255,0.7); 
	border-radius: 10px;         /* CSS3 */
	-moz-border-radius: 10px;    /* Firefox */
	-webkit-border-radius: 10px; /* Safari,Chrome */
}

.pop:before{
  content:"";
  position:absolute;
  width:0px;
  height:0px;
  top:9px;
  right:100%;
  border-style:solid;
  border-width:7px 20px 9px 0px;
  border-color:rgba(255,255,255,0) rgba(255,255,255,0.7);
}

.focus {
	background-color: #ff7;
}

button {
    width: 100px;    
    color: #111; 
    margin: 5px 40px;
    font-size: 20px;  
	font-weight: bold;    
    text-align:center;    
    display:block;    
    text-decoration:none;    
    border-width: 0px;
    border-style: solid;  
    padding: 2px 0;    
    border-radius:5px;    
    background-color: #888;
/*    background:-moz-linear-gradient(#444, #000);    
    background: -webkit-gradient(linear, left top, left bottom, from(#444), to(#000));   */ 
}

button:disabled {
	color: #444;
}

button.small, button.edges {
	width:70px;
    margin: 0px 1px;
	display: inline;
}

button.checked{
    background:#5f5;
    color: #300;
}

button.unchecked{
    background:#444;
    color: #999;
}