overflow: auto;
background-image: url(/static/body-background.gif);
color: #000000;
- font-family: "Bitstream Vera Sans",Arial,Helvetica,sans-serif;
font-weight: normal;
font-size: 10pt;
}
padding:2px;
cursor:default;
- font-family: "Bitstream Vera Sans",Arial,Helvetica,sans-serif;
font-size: 11px;
color: #000000;
}
background-color: #FFFFFF;;
color: #000000;
- font-family: "Bitstream Vera Sans",Arial,Helvetica,sans-serif;
font-size: 11px;
}
.editednodeinput {
border-width: 1px;
border-color: #000000;
- font-family: "Bitstream Vera Sans",Arial,Helvetica,sans-serif;
font-size: 11px;
}
.treetitleselectedfocused {
background-color: highlight;
color: highlighttext;
- font-family: "Bitstream Vera Sans",Arial,Helvetica,sans-serif;
font-size: 11px;
}
.treetitleselectedblured {
cursor:default;
background-color: menu;
color: windowtext;
- font-family: "Bitstream Vera Sans",Arial,Helvetica,sans-serif;
font-size: 11px;
}