python-hserver/hserver/manage/style.css

body,p,div,h1,h2,h3,h4,h5 {
	font-family:	"DejaVu Sans","Helvetica", "Arial", "Sans";
	font-size: 14px;
}

body {
	position: absolute;
	display: block;
	min-height:90%;
	min-width: 90%;
}

h1,h2,h3,h4,h5 {
	display: inline-block;
}

input {
	padding: 3px;
	min-width: 400px;
}

textarea {
	min-width: 50%;
	min-height: 400px;
}

button, .button, input[type=button], textarea {
	position: relative;
	display: inline-block;
	background-color: #E0E0FF;

	border: 1px solid #202040;
	border-radius: 3px;
	
	font-size: 12px;
	text-align: center;
	vertical-align: middle;
	height: 32px;

	width: 100px;
	
	padding: 4px;
	margin: 0;
}

.popup {
	position: absolute;
	left: 75%;
	top: 50%;
	min-width: 180px;
	min-height: 48px;
	border: 1px solid #202040;
	background-color: #C0C0FF;
	border-radius: 5px;
	padding: 15px;
}

* > .popup {
	visibility: hidden;
}

div:hover > .popup {
	visibility: visible;
	z-index: 1;
}

.pulldown {
	position: absolute;
	left: 0%;
	width: 100%;
	border: 1px solid #202040;
	background-color: #C0C0FF;
	border-radius: 5px;
	padding: 5px;
}


* > .pulldown {
	visibility: hidden;
}

div:hover > .pulldown {
	visibility: visible;
	z-index: 1;
}

.side {
	width: 110px;
	min-height: 40%;
	background-color: #0786BD;
}

.side.right {
	position: fixed;
	right: 0px;
	padding: 8px;
	padding-left: 14px;
	border-left: 2px solid #0786BD;
	border-top: 2px solid #0786BD;
	border-bottom: 2px solid #0786BD;
	border-radius: 10px 0 0 10px;
}
.side.left {
	padding-right: 14px;
	border-right: 1px solid #0786BD;
	border-top: 1px solid #0786BD;
	border-bottom: 1px solid #0786BD;
	border-radius: 10px;
}

.slider {
	
	background-color: #61c1fe;
	padding: 5px;
	border-radius: 5px;
	overflow: hidden;
	
	transition: width 0.5s;
}

.slider:hover {
	padding: 10px;
	z-index: 1;
}

.slider * {
	visibility: hidden;
}
.slider:hover * {
	visibility: visible;
}

.slider.right {
	float: none;
	right: 0px;
	width: 90px;
	height: 22px;
}
.slider.right:hover {
	width: 600%;
	max-height: 1000%;
}

.slider > div {
	
}

.slider > div > input {
	width: 160px;
	min-width: 120px;
}


.section {
	display: block;
	padding-bottom: 10px;
}

.section > div {
	height: 28px;
}

.section > div > input {
	right: -20%;
}

.section > .section-title {
	border-bottom: 1px solid black;
	padding-bottom: 0px;
	margin-bottom: 5px;
	height: initial;

	font-style: italic;
	color: #404080;
	border-bottom: 1px solid #404080;
}


.button.small {
	width: 14px;
	height: 14px;
}


input.small {
	min-width: 200px;
}

textarea {
	padding: 5px;
}


.right {
	float: right;
	display: block;
}

.side > * {
	display: block;
	position: relative;
	width: 100px;
	min-width: initial;
	padding: 4px;
	margin: 0;
	margin-bottom: 8px;
	
	background-color: #61c1fe;
	color: white;
	
	border: 1px solid #044357;
	border-radius: 4px;
	
	font-size: 12px;
}


#menu {
	width:		90%;
	
	border-bottom:	1px solid black;
	margin-bottom:	40px;
}

#tree {
	display: inline-block;
	width: 15%;
	min-height: 95%;
	position: absolute;
	float: left;
	padding-right: 1%;

	border-right: 1px solid black;
}

#editor {
	display: block;
	position: absolute;
	left: 17%;
	
	width: 85%;
}









#menu>a {
	display:	inline;
}

#menu>a>div {
	padding:	10px;
	display:	inline-block;
}



.row {
	display: block;
}

.treenodename {
	display: block;
	right: 0px;
	padding-left: 10px;
}

.treenodename:hover {
	background-color: #E0E0FF;
}

.treenode {
	display: block;
	margin-top: 5px;
}

.treenode > .treenode {
	border-top: 1px solid #E0E0FF;
	padding-left: 10px;
	margin-top: 5px;
}

.treenodename.selected {
	background-color: #8080ff;
}

#currentnode {
	padding-top: 5px; 
}

#treelist {
	padding-top: 10px;
}

#treelist > div {
	padding-left: 4px;
	padding-top: 5px;
	padding-bottom: 10px;
	border-top: 1px solid #404080;
}

#treelist > div > button {
	float: right;
	position: relative;
}

#treelist > div > button > .tooltip {
	position: absolute;

	top: 50%;
	left: 25%;
	min-width: 180px;
	z-index: 1;

	background-color: white;
	border: 1px solid #404080;
	border-radius: 5px;

	padding: 10px;

}

#treelist > div > button > .tooltip {
	visibility: hidden;
}
#treelist > div > button:hover > .tooltip {
	visibility: visible;
} 


.typename, .bold {
	display: inline;
	font-weight: bold;
}

.small {
	font-size: 60%;
}

.block {
	display: 	block;
	//background-color:	#C0C0C0;
	
	margin-bottom: 10px;
	margin-top: 10px;
}


#icon {
	width:		24px;
	height:		24px;
}

#preview {
	float: right;
	right: 25px;
	width: 40%;
}

.vscroll {
	overflow-y: scroll;
}