span.syntax {
font-family: Courier, Courier New;
}

span.oldsyntax {
font-family: Courier, Courier New;
text-decoration: line-through;
}

div.menu {
background-image: url(images/buttonback.gif); 
width: 152px;
height: 168px;
}

td.menu {
height: 24px;
padding-left: 10px;
vertical-align: middle;
font-size: 12px;
}

a.menu {
color: #000000;
text-decoration: none;
}

TD.big {
font-size: 12px;
}

TABLE.lb {
border-collapse: collapse;
width: 100%;
font-size: 12px;
border: 1px solid #EEEEEE;
}

TD.lb {
background-color: #FFFFFF;
text-align: left;
vertical-align: middle;
height: 25 px;
padding: 5 10 5 10;
}

TD.lb_headline {
vertical-align: middle;
border-bottom: 1px solid #EEEEEE;
background-image : url(../images/menu_back.gif);
background-color : #EEEEEE;
background-repeat : repeat-x;
padding : 0 0 0 10;
height : 24px;
color : #FFFFFF;
font-family : Verdana;
font-size : 12px;
font-weight : bold;
letter-spacing : 1px;
}

TD.lb_color1 {
border: 1px solid #EEEEEE;
background-color : #FFFFFF;
text-align : left;
vertical-align : middle;
height : 36px;
padding : 0 10 0 10;
}

TD.lb_color2 {
border: 1px solid #EEEEEE;
background-color : #F9F9F9;
text-align : left;
vertical-align : middle;
height : 36px;
padding : 0 10 0 10;
}

INPUT.lb {
border : 1px solid;
border-color : #C0C0C0;
background-color : #FFFFFF;
font-family : Verdana, Arial, Helvetica;
font-size : 10px;
width : 100%;
}

INPUT.lb_checkbox {
height: 12px;
margin: 0px;
}

INPUT.lb_submit {
border : 1px solid;
border-color : #C0C0C0;
background-color : #FFFFFF;
font-family : Verdana, Arial, Helvetica;
font-size : 10px;
}

TEXTAREA.lb {
border : 1px solid;
border-color: #C0C0C0;
width : 100%;
font-family : Verdana, Arial, Helvetica;
font-size : 10px;
margin : 8 0 8 0;
}

SELECT.lb {
border : 1px solid;
border-color: #C0C0C0;
width : 100%;
font-family : Verdana, Arial, Helvetica;
font-size : 10px;
display : inline;
}

.hidden {
display: none;
}

.code {
font-family: "Courier New", Courier, monospace;
}

DIV.releasenotes {
border: 1px dotted #CCCCCC;
margin: 20px;
margin-bottom: 5px;
padding: 10px;
line-height: 20px;
}

DIV.small {
font-size: 10px;
}