* {
	margin: 0px;
	padding: 0px;
	font-size: inherit;
	font-family: inherit;
}

body {
  font-size: 14px;
  font-family: "Helvetica Light", Arial, Helvetica, sans-serif;
}

a {
	cursor: pointer;
  color: #0079ab;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

#panel {
    background-color: #ECECEC;
    position: fixed;
    top: 0px;
    left: 0px;
    bottom: 0px;
    width: 250px;
    box-shadow: 0px 0px 5px #888888;
    z-index: 10;
    overflow: auto;
}

#graph {
    position: fixed;
    top: 0px;
    right: 0px;
    left: 250px;
    bottom: 0px;
    font: monospace;
}

#size {
    position: absolute;
    visibility: hidden;
    top: 0px;
}

#size div {
    position: relative;
    float: left;

}

#panel fieldset {
    border: 1px solid #BBBBBB;
}

#panel ul, #panel dl, #panel p {
    padding: 10px;
    font-size: 12px;
}

#panel p + ul, #panel p + p, #panel ul + p, #panel ul + ul {
    padding-top: 0px;
}

#panel a {
    color: #0976bd;
}

#panel .dt {
    display: block;
    float: left;
    clear: both;
}

#panel .dd {
    display: block;
}

#panel fieldset {
    border: 0px;
    padding: 0px;
    margin-top: 0px;
    margin-left: 0px;
    margin-right: 0px;
}

#panel fieldset > div {
    background-color: white;
}

#panel legend, #window h3 {
    margin: 0px;
    padding: 0px;
    text-indent: 10px;
    padding-top: 3px;
    padding-bottom: 3px;
    display: block;
    cursor: pointer;
    width: 100%;
    color: #333333;
    border-bottom: 1px solid #CCCCCC;
  /*  border-top: 1px solid #CCCCCC; */
    background: #bbbec1; /* Old browsers */
    background: -moz-linear-gradient(top, #bbbec1 0%, #dbdbdb 100%); /* FF3.6-15 */
    background: -webkit-linear-gradient(top, #bbbec1 0%,#dbdbdb 100%); /* Chrome10-25,Safari5.1-6 */
    background: linear-gradient(to bottom, #bbbec1 0%,#dbdbdb 100%); /* W3C, IE10+, FF16+, Chrome26+, Opera12+, Safari7+ */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#bbbec1', endColorstr='#dbdbdb',GradientType=0 ); /* IE6-9 */
}

#legend li {
    font-size: 12px;
    list-style: none;
    margin: 0px;
    padding-top: 5px;
}

#legend li.disabled {
    color: #BBBBBB;
}

#legend .arrow {
    float: left;
    margin: 4px;
    border-top: 6px solid black;
    width: 40px;
    height: 0px;
}

#legend  li {
    clear: both;
}

#legend .node {
    float: left;
    margin: 1px 5px 1px 4px;
    border: 1px solid #CCCCCC;
    width: 20px;
    height: 10px;
    border-radius: 20px;
}



#legend .nonimpl {
    border-color: #ff0000;
}

#legend .impl {
    border-color: #BBBBBB;
}

#legend .weakopen {
    border-color: #008000;
    border-top-style: dashed;
}

#legend .strongopen {
    border-color: #ffa500;
    border-top-style: dashed;
}

#panel select {
    width: 200px;
}

#panel h3 {
    font-size: 12px;
    padding: 5px 0px 5px 10px;
    background-color: #EEEEEE;
    border-bottom: 1px solid #CCCCCC;
    font-weight: normal;
}

#block {
    z-index: 11;
    opacity: 0.7;
    background-color: white;
    position: fixed;
    top: 0px;
    bottom: 0px;
    right: 0px;
    left: 0px;
    width: 100%;
    height: 100%;
}

/* General filter panel */

#panel #filter li {
    padding-left: 3px;
    line-height: 14px;
}

#panel #filter li input {
    margin-right: 5px;
}

#panel #filter ul {
    display: block;
}

#panel #filter .restrict_comparable ul:empty {
    display: none;
}

/* Tag filter panel */

#filter #tags label {
    padding: 3px;
    padding-right: 10px;
}

#panel fieldset {
    border-bottom: 1px solid #CCCCCC;
}

#filter #tags label {
    display: block;
    float: left;
    min-width: 50px;
}

#filter #tags + p {
    padding-top: 0px;
    text-align: right;
}

#filter .options li {
    padding-bottom: 2px;
}

#filter .disabled h3 {
    color: #AAAAAA;
}


/* Zoo picker panel */

#zoo p + p {
    display: none;
}

#zoo input[type="file"] {
    width: 200px;
}

#zoo .local_modifications + ul input {
    margin-right: 10px;
}

#zoo .local_modifications + ul li + li {
    margin-top: 5px;
}

/* Contextual panel */

#contextual .proofs {
    text-align: right;
    clear: both;
}


#contextual li {
    list-style: none;
    padding: 0px 5px 2px 0px;
}

#contextual .dt {
    width: 150px;
}

#contextual .tags label {
    padding: 3px 10px 3px 0px;
}


/* Justification window */

#window {
    display: none;
    z-index: 12;
    box-shadow: 0px 0px 5px #888888;
    overflow: auto;
    top: 30px;
    margin-bottom: 30px;
    left: 50%;
    margin-left: -250px;
    width: 500px;
    position: absolute;
    background-color: white;
}

#window div > ul {
    padding: 0px;
}

#window div > ul > li > .description {
    font-size: 12px;
    padding: 5px 0px 5px 10px;
    background-color: #EEEEEE;
    border-bottom: 1px solid #CCCCCC;
    font-weight: normal;
    display: block;
}

#window div > ul > li > ul {
    padding: 10px;
    padding-left: 30px;
}

#window div li li {
    padding-top: 5px;
    padding-bottom: 5px;
}


#window ul {
    list-style: bullet;
    padding-left: 20px;
}



/* Right click */

.ui-contextmenu.ui-menu {
    z-index: 10;
    box-shadow: 0px 0px 5px #888888;
    font-size: 12px;
    white-space: nowrap;
}

.ui-menu .ui-menu-divider {
    margin: 1px;
}


.ui-menu .ui-menu-item-wrapper {
    padding-right: 20px !important;
    padding-left: 10px !important;
}


/* Accordion */

#panel {
    position: absolute;
    bottom: 0px;
    top: 0px;
    height: 100%;
}

#panel legend {
    border-radius: 0px;
    border: 0px;
    border-bottom: 1px solid #CCCCCC;
    outline: none;
}

#panel legend + * {
    border-radius: 0px;
    border: 0px;
}

#panel .ui-accordion-content {
    padding: 0px;
}

/* Comparison window */

#window .comparison_window p {
    font-size: 12px;
    padding: 5px 0px 5px 10px;
    background-color: #EEEEEE;
    border-bottom: 1px solid #CCCCCC;
    font-weight: normal;
    display: block;
}

#window .comparison_window > svg {
    width: 480px;
    padding: 20px 10px 20px 10px;
}

#zoobackbutton {
	border: 0px solid;
	margin: 0;
	padding-left: 10px;
	text-align: left;
	width: 100%;
	position: absolute;
	bottom: 0;
	left: 0;
	color:white;
	height:40px;
	background-color:#f05133;"
}

#zoobackbutton:hover {
	background-color:#000000;
}