* {
margin: 0;
}
html, body {
    height: 100%;
}
.wrapper {
    min-height: 100%;
    height: auto !important;
    height: 100%;
    margin: 0 auto -2.5em;
}
.footer, .push {
    clear: both;
    height: 2.5em;
}


body {
    margin:0;
    font-size: 12pt;
    font-family: arial;
}

p {
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

.doctext {
    margin-left: 10;
    margin-right: 10;
}

.doctitle {
    font-size:180%;
    font-weight:bold;
    color:darkblue;
    margin-top:10; 
    margin-bottom:20;
}

.docheading {
    margin-top:30;
    margin-bottom:5;
    font-size:140%;
    font-weight:bold;
}

.docheading2 {
    margin-top:20;
    margin-bottom:5;
    font-size:100%;
    font-weight:bold;
}

.docmethodtitle {
    margin-top:5;
    margin-bottom:5;
    font-size:140%;
    font-weight:bold;
}

#top {
    width:100%;
    padding: 4;
    color:#3333aa;
    font-weight:bold;
}

#nav {
    margin-top: 4;
    width:100%;
}

span.navbutton {
    padding-top:2;
    padding-left: 6;
    padding-right: 6;
    font-size: 80%;
}

#table {
    padding-left:10;
    width:60%;
    float:left;
}

#index {
    float:left;
    padding: 10;
    width:30%;
    font-size: 90%;
}

#legend {
    float:left;
    padding: 10;
    width:30%;
    font-size: 90%;
}

#cr {
    clear:both;
    padding:4;
    margin-top: 5px;
    border-top: 1px solid #b5ccd2;
    color:#8db1ba;
    font-size: 9pt;
}

#stats {
    width:60%;
    padding:2;
}

.footer {
    clear:both;
    padding:4;
    color:#8db1ba;
    font-size: 9pt;
    vertical-align: middle;
}

div.table {
}

div.table div.title {
    clear:both;
    padding-top: 20;
    padding-bottom: 10;
    padding-left:5;
    font-size: 120%;
    font-weight: bold;
    color: darkblue;
}

div.table div.form {
    clear:both;
    padding-top: 10;
    padding-bottom: 10;
    padding-left: 5;
    font-weight: bold;
    border-bottom: 1px solid #f5deb3;
    background-color: white;
}

div.table div.cluster {
    clear:both;
    padding-top: 1;
    padding-bottom:1;
    padding-left:5;
    font-size: 90%;
    background-color: #f5deb3;
}

div.table div.colloc {
    font-size: 90%;
    border-bottom: 1px solid #ffffff;
    background-color: #faf0e6;
}

div.table div.colloc .collocstring {
    padding-left: 5;
    width: 200px;
    display: inline-block;
}

div.table div.colloc .bar {

}

div.table div.colloc a:link {
    text-decoration: none;
}
div.table div.colloc a:visited {
    text-decoration: none;
}
div.table div.colloc a:hover {
    background-color: #bbbbdd;
}

img.sigbar {
    vertical-align: middle;
    border: 0;
    height: 5;
}

img.simbar {
    vertical-align: top;
    margin-top:2;
    margin-bottom:2;
    border: 0;
    height: 3;
}

div.statstitle {
    padding:2;
    font-weight:bold;
    font-size:90%;
}

div.statsline {
    padding:2;
    font-size:90%;
}

div.examples {
    margin: 5;
    font-family:courier;
    font-size:80%;
}