body {
    font-family:sans-serif;
}

a:link, a:visited {
    text-decoration:none;
    color:blue;
}

a:hover {
    color:red;
}

img {
    border:0px;
    padding:2px;
}

ul {
    margin-top:0px;
    margin-bottom:0px;
}

#micsiframe {
    border:0px;
    padding:0px;
    margin:0px;
    width:650px;
    height:350px;
}

.top_links {
    text-align:center;
    font-size:120%;
}

.container {
    font-size: 85%;
    margin-left:auto;
    margin-right:auto;
    width:500px;
    padding:5px 5px 5px 5px;
    border-top: 1px solid gray;
    border-right: 1px solid gray;
    border-left: 1px solid gray;
}

.bigcontainer {
    width:650px;
}

.section {
    padding:5px 5px 5px 5px;
    text-align:justify;
}

.big {
    text-align:right;
    font-size:125%;
    color:gray;
    border-bottom:1px solid gray;
}

.code {
    border:2px dashed green;
    background:black;
    color:green;
    font-family:monospace;
    font-size:95%;
    padding-top:5px;
    padding-bottom:5px;
}

.code_white {
    color:white;
    font-size:90%;
}

.code_section {
    padding-left:20px;
}

.dict {
    border-left:1px solid gray;
    margin-left:10px;
    padding-left:10px;
    font-weight:bold;
}

.def {
    padding-left:20px;
    font-style:italic;
    font-size:80%;
}

.doc_heading {
    color:gray;
    text-align:center;
    font-size:110%;
}

.element {
    padding-left:10px;
    font-size:95%;
    display:none;
}

.left {
    width:40%;
    margin-left:10%;
}

.right {
    float:right;
    width:40%;
    margin-right:10%;
}

.screenshot {
    width:165px;
    height:175px;
}

.rhalf {
    float:right;
    padding-left:5px;
}

.half {
    width:325px;
}

.box {
    border:1px dashed gray;
    padding:5px;
    margin:2px;
}