apparently this is php:
Code:
#tablist {
PADDING-RIGHT: 0px; MARGIN-TOP: 0.1em; PADDING-LEFT: 0px; MARGIN-BOTTOM: 0px; PADDING-BOTTOM: 3px; FONT: bold 12px Verdana; MARGIN-LEFT: 0px; PADDING-TOP: 3px
}
#tablist LI {
DISPLAY: inline; MARGIN: 0px; LIST-STYLE-TYPE: none
}
#tablist LI A {
BORDER-RIGHT: #6666ff 1px solid; PADDING-RIGHT: 0.5em; BORDER-TOP: #6666ff 1px solid; PADDING-LEFT: 0.5em; BACKGROUND: white; PADDING-BOTTOM: