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