body {
font-family:helvetica,tahoma,verdana,sans-serif;
margin:20px;
font-size:13px;
color:#333;
background-color:#fff !important;
}

p {
margin:0 5px 15px;
}

h1 {
font-size:20px;
font-weight:bold;
color:#000;
margin:30px 0 10px;
}

h2 {
font-size:16px;
font-weight:bold;
color:#0F0F0F;
margin:30px 0 10px;
}

h3 {
font-size:13px;
font-weight:bold;
color:#0F0F0F;
margin:20px 0 10px;
}

ul {
margin:10px;
list-style-type:circle;
list-style-position:inside;
}

th {
vertical-align:top;
text-align:left;
padding-bottom:10px;
}

td {
padding:5px 10px;
vertical-align:top;
font-size:13px;
}

td h3 {
font-weight:bold;
margin:0 0 10px;
}

td h3 a {
color:#0F0F0F;
text-decoration:underline;
}

.fig {
font-size:13px;
color:#333;
font-style:italic;
margin:20px 0 0 10px;
background-color:#E8E8E8;
padding:5px 10px;
margin:0 10px;
}

.loading {
height:16px;
padding-left:18px;
background:transparent url(loading.gif) no-repeat;
padding-top:2px;
}

.result {
margin:0 10px 20px;
border: 1px solid #e8e8e8;
border-left:5px solid #e8e8e8;
padding:10px;
}

pre.prettyprint {
background: #F8F8F8;
border: 1px solid #e8e8e8;
padding:10px;
margin:0 10px 20px;
border-left:5px solid #e8e8e8;
overflow:auto;
}

/* reset some ExtJS style back, annoying! */
ul.x-tree-root-ct, ul.x-tree-node-ct {
margin:0;
list-style:none;
list-style-position:outside;
}