@charset "iso-8859-1";

@font-face {
    font-family: 'VerilySerifMonoBook';
    src: url('/css/VerilySerifMono-webfont.eot');
    src: url('/css/VerilySerifMono-webfont.eot?#iefix') format('embedded-opentype'),
         url('/css/VerilySerifMono-webfont.woff') format('woff'),
         url('/css/VerilySerifMono-webfont.ttf') format('truetype'),
         url('/css/VerilySerifMono-webfont.svg#VerilySerifMonoBook') format('svg');
    font-weight: normal;
    font-style: normal;
}

body {
   margin-top:					0px;
   font-family: 				verdana, arial, helvetica, sans-serif;
}

img {
   border:						0px;
}

h1, h2, h3, h4, h5, h6 {
   color: 						#003399;
   margin-bottom:				10px;
}

div.navigation, div.main, div.footer {
   width:						900px;
}

div.languages {
   font-family: 				verdana, arial, helvetica, sans-serif;
   font-size:			 		8pt;
   border-left:					solid 1px #DCE4F3;
   border-bottom:				solid 1px #DCE4F3;
   text-align:					right;
   width:						100px;
   position: 					absolute;
   top:							0px;
   left:						805px;
   z-index:						2;
   text-align:					center;
   height:						17px;
   background-color:			#F4F7FC;
   
   /* MOZILLA ONLY :) */
   -moz-border-radius-bottomleft:	10px;
}

div.navigation {
   font-family: 				verdana, arial, helvetica, sans-serif;
   font-size:			 		10pt;
   border-bottom:				solid 1px #000000;
   height:						60px;
   padding:						0px;
   float:						left;
}

div.navitem {
   float:						left;
   width:						100px;
   height:						16px;
   border:						solid 1px #000000;
   text-align:					center;
   margin-left:					5px;
   position:					relative;
   top:							43px;
   background-color:			#F4F7FC;
}

div.navitem:hover {
   background-color:			#FFE2D8;
}

div.activenavitem {
   background-color:			#F8F8F8;
   border:						solid 1px #000000;
   border-bottom:				solid 1px #F8F8F8;
   float:						left;
   width:						100px;
   height:						20px;
   text-align:					center;
   margin-left:					5px;
   position:					relative;
   top:							39px;   
}

div.navitem, div.activenavitem {
   /* MOZILLA ONLY :) */
   -moz-border-radius-topright: 8px;
}

a.navigation {
   color:						#000000;
   text-decoration:				none;
}

a.navigation:hover {
   color:						#000000;
   text-decoration:				none;
}

div.code {
   background:					url("../images/code_bg.gif") no-repeat;
   background-position:			bottom right;
   background-color:			#F4F7FC;
   font-family:					monospace;
   font-family:					courier;
   font-size:					9pt;
   white-space:					pre;
   padding:						5px;
   margin-left:					4px;
   margin-top:					10px;
   margin-bottom:				10px;
   margin-right:				4px;
   border:						solid 3px #DCE4F3;
   table-layout:				fixed;
}
pre.code {
   background:					url("../images/code_bg.gif") no-repeat;
   background-position:			bottom right;
   background-color:			#F4F7FC;
   font-family:					VerilySerifMonoBook,"Courier New",courier,monospace,Fixedsys;
   font-size:					8pt;
   white-space:					pre;
   padding:						5px;
   margin-left:					4px;
   margin-top:					10px;
   margin-bottom:				10px;
   margin-right:				4px;
   border:						solid 3px #DCE4F3;
   table-layout:				fixed;
}

div.textbox {
   background:					url("../images/code_bg.gif") no-repeat;
   background-position:			bottom right;
   background-color:			#F4F7FC;
   padding:						5px;
   margin-left:					4px;
   margin-top:					10px;
   margin-bottom:				10px;
   margin-right:				4px;
   border:						solid 3px #DCE4F3;
   table-layout:				fixed;
}

div.codebreak {
   margin:						0px;
   float:						right;
}

div.logo {
   float:						left;
}

div.main {
   float:						left;
   background-color:			#F8F8F8;
   padding:						0px;
}
#tclhelp {
 color: #a00000;
 font-size: large;
}
div.text {
   font-family: 				verdana, arial, helvetica, sans-serif;
   font-size:			 		10pt;   
   padding:						5px;
   text-align:					justify;
}

div.footer {
   border-top:					solid 1px #000000;
   clear:						left;
   font-family: 				verdana, arial, helvetica, sans-serif;
   font-size:			 		8pt;   
}

div.block {
   font-family: 				verdana, arial, helvetica, sans-serif;
   font-size:			 		10pt;  
   padding:						5px;
   margin-left:					20px;
   margin-top:					10px;
   margin-bottom:				10px;
   margin-right:				10px;
   
}

ul {
    list-style-type: 			square;
    list-style-image: 			url("../images/bullet.gif");
}

a {
   color:						#003399;
   text-decoration: none;
}
a:hover {
  color: #CC3300;
}
a.selected {
  font-weight: bold;
}

a[href ^=http] {
   background: 					url("../images/external.gif") center right no-repeat;
   padding-right: 				13px;
}

a[href ^=mailto] {
   background: 					url("../images/mailto.gif") center right no-repeat;
   padding-right: 				13px;
}

input, textarea, select {
   font-family: 				verdana, arial, helvetica, sans-serif;
   font-size:			 		8pt;  
   border:						solid 3px #DCE4F3;
   background-color:			#F4F7FC;
   margin:						2px;
   color:						#003399;

   background:					url("../images/input_bg.gif") no-repeat;
   background-position:			bottom right;
   background-color:			#F4F7FC;
}

textarea {
   background:					url("../images/form_bg.gif") no-repeat;
   background-position:			bottom right;
   background-color:			#F4F7FC;
}
.help {
	border-top-style: solid;
	border-right-style: solid;
	border-bottom-style: solid;
	border-left-style: solid;
	border-top-color: #ffffff;
	border-right-color: #303030;
	border-bottom-color: #303030;
	border-left-color: #ffffff;
	border-top-width: 1px;
	border-right-width: 1px;
	border-bottom-width: 1px;
	border-left-width: 1px;
	font-family: "Courier New", Courier, mono;
	color: #606060;
	text-decoration: none;
	display: compact;
	clear: left;
	float: left;
	letter-spacing: normal;
	text-align: right;
	vertical-align: top;
	word-spacing: normal;
	white-space: nowrap;
	cursor: help;
}
.help:hover {
	color: #606000;
	border-bottom-color: #ffffff;
	border-left-color: #303030;
	border-top-color: #303030;
	border-right-color: #ffffff;
}
