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