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