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