body, td,th { font-family: arial,sans-serif; }
body { margin:0; padding:0; }
h1 { font-size: 1.4em; }
h2 { margin-top:20px; margin-bottom:8px; color:#3F3F3F; font-size:1.2em; }
/*.h1 { background-color: #729fcf; padding-left:15px; color:#eeeeec; margin-bottom:20px; }*/
table.h1 { background-color: #729fcf; padding-left:15px; color:#eeeeec; margin-bottom:20px; width:100%; border:solid 8px #729fcf; border-top-width:12px; }
/*.h1 h1 { padding:0; margin:0; font-size:1.5em; padding:8px 0px; float:left;  }*/
.h1 h1 { padding:0; margin:0; font-size:1.5em }
h1 a { text-decoration:none; color:#eeeeec; }
.toplinks { padding-bottom:3px; margin-left:35px; }
.toplinks a { color:#f0f0f0; text-decoration:none; }
.toplinks a:hover { text-decoration:underline; }

p,pre,tt { line-height:130%; }

.langlinks { padding-bottom:3px; font-size:0.9em; }
.langlinks a { color:#f0f0f0; text-decoration:none; }
.langlinks a:hover { text-decoration:underline; }

h3 { font-size:12pt; padding:0; margin-top:2px; margin-bottom:10px; color:#3F3F3F; }
body { background-color:#f0f0f0; }
#container { width: 100%; float: left; margin-right: -220px; }
#content { 
 margin-left:15px;
 margin-right: 220px;
 border-right:1px solid #ddd;
 border-bottom:1px solid #ddd;
 background-color:#fff;
 padding:10px;
 padding-bottom:35px;
 min-height:600px;
}
#sidebar { width: 200px; float: right; padding:10px;  font-size:0.9em; }
#sidebar h3 { border-bottom:1px solid #ddd; text-align:center; }
#footer { margin:20px 20px 10px; text-align:center; font-size:0.8em; color:#555; }
.clearing { height:0; clear:both; }
code { background-color:#f0f0f0; }
li { margin-bottom:4px; }

/*
a { text-decoration:none; border-bottom:1px dotted #888888; }
a:hover { border-bottom:1px solid #888888; } 
*/
table.langs { width:800px ;border-collapse: collapse; margin-top:10px; text-align:left; }
table.langs th {  border-bottom:2px solid #ADB9CC; }
table.langs td { border-bottom:1px dashed #ADB9CC; }
table.langs td,th { padding:4px; padding-right:10px;  }
.shadow{ border-right:1px solid #cccccc; border-bottom:1px solid #cccccc; }

.download-button {
 padding:10px; text-decoration:none;
border-left:1px solid #ededed; border-bottom:1px solid #ededed; background:#fbfbfb url(/images/tab_hover.gif) no-repeat top right; 
}

.back2top {
 font-size:0.7em;
}