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