pavone@0: 
pavone@0: body, html
pavone@0: {
pavone@0: 	width: 100%;
pavone@0: 	height: 100%;
pavone@0: 	margin: 0;
pavone@0: }
pavone@0: 
pavone@0: body > div
pavone@0: {
pavone@0: 	margin: 0;
pavone@0: }
pavone@0: 
pavone@0: .controls
pavone@0: {
pavone@0: 	width: 15%;
pavone@0: 	height: 100%;
pavone@0: 	display: inline-block;
pavone@0: 	padding: 0;
pavone@0: 	margin: 0;
pavone@0: 	vertical-align: top;
pavone@0: }
pavone@0: 
pavone@0: #src
pavone@0: {
pavone@0: 	width: 70%;
pavone@0: 	display: inline-block;
pavone@0: 	padding: 0;
pavone@0: 	margin: 0;
pavone@0: }
pavone@0: 
pavone@0: ul
pavone@0: {
pavone@0: 	border-style: solid;
pavone@0: 	border-color: black;
pavone@0: 	border-width: 1px;
pavone@0: 	display: block;
pavone@0: 	padding: 2px;
pavone@0: 	box-sizing: border-box;
pavone@0: 	-moz-box-sizing: border-box;
pavone@0: 	-webkit-box-sizing: border-box;
pavone@0: 	height: 50%;
pavone@0: 	margin: 0;
pavone@0: 	overflow: auto;
pavone@0: }
pavone@0: 
pavone@0: ul:first-child
pavone@0: {
pavone@0: 	border-bottom-width: 0px;
pavone@0: }
pavone@0: 
pavone@0: #operators, .showops > #builtin
pavone@0: {
pavone@0: 	display: none;
pavone@0: }
pavone@0: 
pavone@0: .showops > #operators
pavone@0: {
pavone@0: 	display: block;
pavone@0: }
pavone@0: 
pavone@0: li
pavone@0: {
pavone@0: 	display: inline-block;
pavone@0: 	border-style: solid;
pavone@0: 	border-color: lightgrey;
pavone@0: 	border-width: 1px;
pavone@0: 	padding: 2px;
pavone@0: 	margin: 4px;
pavone@0: 	min-width: 9mm;
pavone@0: 	min-height: 9mm;
pavone@0: 	cursor: pointer;
pavone@0: }
pavone@0: 
pavone@0: