h1 {
    font-family: Helvetica,Arial,sans-serif;
    margin: 10px 0 10px 0;
}

code {
    font-size: large;
}

div#container {
    width: 950px;
    margin: auto auto;
    *list-style-type: disc;
}
div.inst {
    display:none;
}
textarea {
    width:550px;
    height: 300px;
}
div#form {
    float: left;
    width: auto;
}
div#parm {
    font-family: Helvetica,Arial,sans-serif;
    float: left;
    clear: right;
}
div#link {
    float: left;
    border: 1px dashed grey;
    height: auto;
    width: 100%;
    clear: right;
    margin-bottom: 20px;
    padding: 5px;
    font-size: .9em;
}
div#expl {
    font-family: Helvetica,Arial,sans-serif;
    float: left;
    border: 1px dashed grey;
    width: 100%;
    height: 300px;
    overflow: auto;
    margin-top: 20px;
    padding: 0 10px 0 10px;
}
span.noreq {
    background-color: #eeeeee;
}

.greybox {
    background-color: #eeeeee;
}

div#parm:hover {
    cursor:help;
}

span.noreq:hover {
    cursor:pointer;
}

ul#parms {
    padding-left: 10px;
    margin-top: 10px;
    margin-bottom: 0;
}

ul#parms li{
    list-style: none;
    line-height: 1.6em;
    font-size: 1.0em;
}

ul#parms li span:before{
    color:grey;
    content: '\2190 \0020';
    background-color: white;
}
ul#parms li span.req:before{
    color:white;
    content: '\2190 \0020';
    
}