body {
    margin: 0px;
    font-family: gill sans, arial, helvetica;
    font-size: 11pt;
    background: #ffffe6 url("images/BG_curve.gif") 0px 106px no-repeat;
}

/* (Originally had something much nicer, but we hit various box bugs in IE. Sigh) */
div.headerfiller {
	float: left;
	background: #d5c1b0;
	margin: 0px;
	padding: 0px;
	width: 200px;
	height: 106px;
}

div.header {
    background: #d5c1b0 url("images/BG_top.gif") bottom left repeat-x;
    padding-bottom: 24px;
    margin-left: 200px;
}

div.footer {
    text-align: center;
    font-size: 80%
}

div.logo {
    background: transparent url("images/ST_logo.gif") top right no-repeat;
    height: 98px;
    margin-right: 16px;
}

div.body {
	padding: 0px;
    margin-top: -33px;
    margin-left: 1px;
    margin-right: 0px;
    margin-bottom: 0px;
}

div.maintext ul {
    list-style: circle;
}

div.maintext ul li {
    list-style: circle;
}

div.menu {
    margin: 0px;
    padding: 0px;
    margin-top: -31px;
    height: 48px;
    text-align: center;
	/* background: transparent url("images/BG_curve.gif") 0px 15px no-repeat; */
}

div.menu a {
    color: black;
    text-decoration: none
}

div.menu a:hover {
    color: gray
}

div.menu table {
    height: 48px;
    background: url("images/MB_middle.gif") top left repeat-x;
}

div.menu table td.first {
    padding-left: 24px;
    padding-right: 0;
    background: transparent url("images/MB_left.gif") top left no-repeat;
}

div.menu table td {
    margin: 0; padding: 0;
}

div.menu table td.div {
    margin: 0; padding: 0;
    background: transparent url("images/MB_div.gif") top left no-repeat;
    width: 2px;
    margin-left: 6px; margin-right: 6px;
}

div.menu table td.last {
    padding-right: 20px;
    background: transparent url("images/MB_right.gif") top right no-repeat;
}

div.menu table td.lastselected {
    padding-right: 20px;
    background: transparent url("images/MBsel_right.gif") top right no-repeat;
}

div.menu table td.firstselected {
    padding-left: 24px;
    padding-right: 0;
    background: transparent url("images/MBsel_left.gif") top left no-repeat;
}

div.menu table td.selected {
    margin: 0; padding: 0;
    padding-right: 0px;
    background: transparent url("images/MBsel_middle.gif") top left repeat-x;
}

div.menu table td.last.selecteddiv {
    padding-left: 20px;
    padding-right: 0;
    background: transparent url("images/MBsel_right.gif") top right no-repeat;
}

div.menu ul {
    margin: 0;
    padding: 0;
    display: table-row;
    list-style: none;
    height: 48px;
}

div.menu ul li {
    margin: 0;
    padding: 0;
    list-style: none;
    display: table-column;
    padding-top: 13px;
    height: 48px;
}

div.leftcolumn {
    margin-top: 84px;
    margin-left: 0px;
    margin-right: 0px;
    padding: 0;
    width: 180px;
    float: left;
    background: transparent;
}

div.leftmenu {
    margin: 0;
    padding: 0;
    width: 180px;
    background: transparent url(images/LM_middle.gif) 8px 0px repeat-y;
}

div.leftmenu a {
    color: black;
    text-decoration: none
}

div.leftmenu a:hover {
    color: blue;
}

div.leftmenu a.activetopic {
    color: red
}

div.leftmenu ul {
    padding: 0;
    margin: 0;
    list-style: none;
    background: transparent url(images/LM_top.gif) 8px 0px no-repeat;
}

div.leftmenu.top ul {
    padding: 0;
    margin: 0;
    list-style: none;
    background: transparent url(images/LMfade_top.gif) top left no-repeat;
}

div.leftmenu ul li {
    margin: 0;
    margin-left: 20px;
    padding-left: 8px;
    padding-right: 28px;
    padding-bottom: 5px;
    padding-top: 2px;
    list-style: none;
    font-weight: bold;
    font-size: 110%;
    background: transparent url(images/LM_divider.gif) left bottom no-repeat;
}

div.leftmenu ul li.first {
    padding-top: 16px;
}

div.leftmenu ul li.last {
    margin-left: 8px;
    padding-left: 20px;
    padding-bottom: 20px;
    background: transparent url(images/LM_bottom.gif) bottom left no-repeat;
}

div.maintext {
	padding-left: 0px;
	padding-right: 0px;
	padding-bottom: 0px;
    padding-top: 24px;
    margin-top: 0px;
    margin-left: 180px;
    margin-right: 24px;
    margin-bottom: 32px;
    background: transparent;
}

div.footer {
}

dl {
    font-size: 90%
}

dl dt {
    float: left;
    text-align: right;
    width: 100px;
    margin-right: 20px;
    font-weight: bold;
}

dl dd {
    margin-left: 120px;
    padding-bottom: 8px;
}

div.sideimg {
    clear: right;
    float: right;
}

dl dd ul {
    list-style: none;
    margin-top: 0; margin-bottom: 0;
}

dl dd ul li {
    list-style: none;
}

dl dd ul li * {
    list-style: none;
}

code.class {
	color: #009900
}

code.interface {
	color: #774400
}

code.method {
	color: #bb2222
}

code.scheme {
	color: #0000aa
}