me@1936: div#blanket {
me@1936:     z-index: 2;
me@1936:     background-color: rgba(0,0,0,0.5);
me@1936:     width: 100%;
me@1936:     height: 100%;
me@1936:     position: fixed;
me@1936:     left: 0px;
me@1936:     top: 0px;
me@1936: }
me@1936: 
me@1936: div#popupHolder {
me@1936:     z-index: 3;
me@1936:     background-color: rgba(255,255,255,1);
me@1936:     width: 730px;
me@1936:     height: 480px;
me@1936:     position: fixed;
me@1936:     border-radius: 10px;
me@1936: 	box-shadow: 0px 0px 50px #000;
me@1936:     padding: 10px;
me@1936: }
me@1936: 
me@1936: div#popup-title-holder {
me@1936:     width: 100%;
me@1936:     height: 50px;
me@1936:     font-size: 2em;
me@1936: }
me@1936: 
me@1936: button#popup-proceed {
me@1936:     width: 60px;
me@1936:     height: 27px;
me@1936:     padding: 5px;
me@1936:     position: absolute;
me@1936:     right: 10px;
me@1936:     bottom: 10px;
me@1936: }
me@1936: 
me@1936: div.drag-area {
me@1936:     border: 3px black dashed;
me@1936: }
me@1936: div.drag-over {
me@1936:     background-color: aquamarine;
me@1936: }
me@1936: div.drag-dropped {
me@1936:     background-color: aqua;
me@1936: }
me@1936: div.drag-error {
me@1936:     background-color: coral
me@1936: }
me@1936: 
me@1936: div#project-drop {
me@1936:     width: 99%;
me@1936:     height: 50px;
me@1936:     margin: 10px 0px;
me@1936: }
me@1936: 
me@1936: div.popup-checkbox {
me@1936:     padding: 5px;
me@1936: }
me@1936: 
me@1936: div.popup-checkbox input {
me@1936:     margin: 0px 5px;
me@1936: }
me@1936: 
me@1936: div.popup-option-entry {
me@1936:     padding: 5px 0px;
me@1936:     border-bottom: 1px solid;
me@1936: }
me@1936: 
me@1936: div.disabled{
me@1936:     color: rgb(100,100,100);
me@1936: }
me@1936: 
me@1936: div.node {
me@1936:     float: left;
me@1936:     padding: 10px;
me@1936:     border: black 2px solid;
me@1936:     border-radius: 10px;
me@1936:     margin: 10px;
me@1936:     min-width: 92%;
me@1936:     background-color: rgba(255,255,255,0.5);
me@1936: }
me@1936: div.node-title {
me@1936:     float: left;
me@1936:     width: 100%;
me@1936:     font-size: 2em;
me@1936:     margin: 5px 0px;
me@1936: }
me@1936: div.node-attributes {
me@1936:     min-width: 92%;
me@1936:     float: left;
me@1936:     padding: 10px;
me@1936: }
me@1936: div.attribute {
me@1936:     float: left;
me@1936:     margin-right: 10px;
me@1936: }
me@1936: div.node-children {
me@1936:     float: left;
me@1936:     min-width: 92%;
me@1936: }
me@1936: div.node-buttons {
me@1936:     float: left;
me@1936:     min-width: 92%;
me@1936: }
me@1936: div.attribute input {
me@1936:     max-width: 100px;
me@1936:     margin-right: 10px;
me@1936: }
me@1936: div.attribute input[type=number] {
me@1936:     width: 80px;
me@1936: }