@CHARSET "UTF-8";

html {
	background-color:#111111;
}

#main {
	background-color: #E3E3E3;
}
.make-space {
	margin-top:5px;
	margin-bottom:5px;
	margin-right:5px;
}
.make-space-all {
	margin:5px;
}
.json-widget {
	font-size:small;
}
.json-widget-content{
	border: 1px solid #B5B5B5;
	margin-bottom:3px;
}
.json-widget-header {
	cursor:pointer;
	border: 1px solid #B5B5B5;
	margin-top:3px;
}
.json-widget-highlight {
	background-color:#2B2728;
}
.json-widget-content-vertex {
	border: 1px solid #B2BAF7;
	margin-bottom:3px;
}
.json-widget-header-vertex {
	cursor:pointer;
	border: 1px solid #B2BAF7;
	margin-top:3px;
}
.json-widget-highlight-vertex {
	background-color:#463B54;
}
.pager-button {
	cursor:pointer;
}
.pager-button a {
	margin: 0 auto;
	width:15px;
}
.pager-label {
	border-top-width:1px;
	border-top-style:solid;
	border-top-color:#9CCDFC;
	border-bottom-width:1px;
	border-bottom-style:solid;
	border-bottom-color:#9CCDFC;
}
.edge-list {
	list-style-type: none;
	list-style-image: none;
	font-size: smaller;
}
.edge-list li {
	list-style-type: none;
	list-style-image: none;
}
.extension-list {
	list-style-type: none;
	list-style-image: none;
	font-size: smaller;
	margin-left:4px;
}
.extension-list li {
	list-style-type: none;
	list-style-image: none;
}
.intense {
	background-color: #d9d9d9;
	color:black;
	padding:4px;
	width:auto;
}
.intense .value {
	font-size:xx-large;
	font-weight:bold;
}
.intense .label {
	font-size:small;
}
#panelGraphExtensions fieldset {
    padding:0;
    border:0;
}
#panelGraphExtensions label, input {
    display:block;
}
#panelGraphExtensions input.text {
    margin-bottom:12px;
    width:95%;
    padding: .4em;
}
#terminal {
  border: 1px solid black;
  height: 400px;
  background: black;
  overflow: scroll;
}

#terminal div.line {
  width: 100%;
  margin-bottom: 5px;
}

#terminal input {
  width: 90%;
  margin: 1px 0 1px 10px;
  border: none;
  display: inline;
  padding: 2px;
  background: black;
  color: #c79801;
  font-size: small;
  font-family: Monaco, Lucinda Console, Courier, Courier New, monospace;
}

#terminal p, #terminal pre {
  margin: 2px;
  color: #c79801;
  font-size: small;
  font-family: Monaco, Lucinda Console, Courier, Courier New, monospace;
}

#terminal a {
  color: #6495ED;
}

#terminal span.prompt {
  color: #c79801;
  font-size: small;
  margin-left: 2px;
}
