giuliomoro@15: 
giuliomoro@15: div#content > div.node{
giuliomoro@15:     background-color: rgb(200,228,151);
giuliomoro@15: }
giuliomoro@15: 
giuliomoro@15: div#content > div#setup{
giuliomoro@15:     background-color: coral;
giuliomoro@15: }
giuliomoro@15: 
giuliomoro@15: input:disabled+span{
giuliomoro@15:     text-decoration: line-through;
giuliomoro@15: }
giuliomoro@15: 
giuliomoro@15: div.attribute{
giuliomoro@15:     float: none;
giuliomoro@15: }
giuliomoro@15: div.attribute input{
giuliomoro@15:     max-width: 100%;
giuliomoro@15:     width: 300px;
giuliomoro@15: }
giuliomoro@15: div.attribute input[type=radio], div.attribute input[type=checkbox]{
giuliomoro@15:     width: 10px;
giuliomoro@15: }