.explorerTabTitle,
.explorerTabTitleDown {
    font-family:Tahoma,Verdana,Bitstream Vera Sans, sans-serif; font-size:11px;
    padding-top:3px;
}
.explorerTabTitleOver {
    font-family:Tahoma,Verdana,Bitstream Vera Sans, sans-serif; font-size:11px;
    padding-top:3px;
}
.explorerTabTitleDisabled {
    font-family:Tahoma,Verdana,Bitstream Vera Sans, sans-serif; font-size:11px;
	color:#666666;
    padding-top:3px;
}
.explorerTabTitleSelected,
.explorerTabTitleSelectedDown {
    font-family:Tahoma,Verdana,Bitstream Vera Sans, sans-serif; font-size:11px;
	font-weight:bold;
    padding-bottom:2px;
}
.explorerTabTitleSelectedOver {
    font-family:Tahoma,Verdana,Bitstream Vera Sans, sans-serif; font-size:11px;
	font-weight:bold;
    padding-bottom:2px;
}
.explorerTabTitleSelectedDisabled {
    font-family:Tahoma,Verdana,Bitstream Vera Sans, sans-serif; font-size:11px;
	color:#666666;
    font-weight:bold;
    padding-bottom:2px;
}
.explorerExampleTitle {
	font-family:Bitstream Vera Sans,sans-serif;
	color:#ffffff;
	padding-left:6px;
	background-color:#404080;
	font-size:18px;
}
.explorerExampleDescription {
	font-family:Georgia,serif;
	font-size:13px;
	padding:6px;
}
.explorerTitlePageTitle {
	font-family:Bitstream Vera Sans,sans-serif;
	color:#ffffff;
	padding-left:6px;
	background-color:#404080;
	font-size:18px;
}
.explorerTitlePageDescription {
	font-family:Georgia,serif;
	font-size:13px;
	padding:6px;
}
.explorerFolderList {
	font-family:Georgia,serif;
	font-size:13px;
	padding:6px;
}
.explorerCheckErrorMessage {
    color: red;
	font-family:Georgia,serif;
	font-size:13px;
}
.explorerSourceEditor {
	border:1px solid #808080;
	padding:10px;
	font-size:12px;
	font-family:Lucida Console, Monaco, Bitstream Vera Sans Mono, sans-serif;
}
.explorerSourceViewer {
	padding:10px;
	font-size:12px;
	font-family:Lucida Console, Monaco, Bitstream Vera Sans Mono, sans-serif;
}

.splitbarDown {
	border-left:2px solid #606060;
	border-right:2px solid #606060;
	background-color:#F0F0F0;
}

.examplePane {
	margin:20px;
}

.jumpButton {
    font-family:Tahoma,Verdana,Bitstream Vera Sans, sans-serif; font-size:11px;
	border:1px solid #F0F0F0;
}

.jumpButtonOver {
    font-family:Tahoma,Verdana,Bitstream Vera Sans, sans-serif; font-size:11px;
	border-left:1px solid white;
	border-top:1px solid white;
	border-right:1px solid #808080;
	border-bottom:1px solid #808080;
}

.jumpButtonDown {
    font-family:Tahoma,Verdana,Bitstream Vera Sans, sans-serif; font-size:11px;	
	border-left:1px solid #808080;
	border-top:1px solid #808080;
	border-right:1px solid white;
	border-bottom:1px solid white;
}

.exampleDescCode {
	font-family:Bitstream Vera Sans Mono, Courier New, monospace;
	font-size:14px;
	font-weight:bold;
}

.exampleTitle {
	font-family:Gill Sans MT,Bitstream Vera Sans,sans-serif; font-size:22px;
}

.exampleText {
	font-family:Georgia,serif; font-size:11px;
}

.exampleTextBlock {
	font-family:Georgia,serif; font-size:11px;
	line-height:16px; text-align:justify;
	padding-left:10px; padding-right:10px;
}

.exampleDropTitle {
	float:left;font-family:Gill Sans MT,Bitstream Vera Sans,sans-serif;
    font-size:22px;
    line-height:32px;
    color:#404040;
}