body {
    background-color: white;
    color: black;
    margin-top: 2em;
    margin-left: 7em;
    margin-right: 1em;
    padding: 0;
}

p {
    line-height: 150%;
    text-indent: 1em;
/*    margin: 0 0 1em 0;*/
    margin: 0;
}

h1 { color: #3f007f; }

h2 { color: #3f007f; }

h3 { color: #003f00; }

h4 { color: #00003f; margin: 0.5em 0; }

dt {
    line-height: 150%;
    margin: 0;
}

dd {
    margin-bottom: 1em;
}
address {
	text-align: right;
/*	padding-right: 1em;*/
}
var:before { content: "“" }
var:after { content: "”" }

.scriptCode, .htmlCode, .sourceCode, .example, .directories {
    position: relative;
    border-top: 0.9em solid;
/*    border-top: medium solid;*/
    border-bottom: medium solid;
    border-right: medium solid;
    border-left: medium solid;
    border-color: #dfdfdf;
    padding-left: 1em;
    padding-bottom: 1em;
    margin-top: 1em;
    margin-bottom: 1em;
}
.scriptCode {
    border-color: #dfeffd;
}
.htmlCode {
    border-color: #efdfdf;
}
.example {
    border-color: #dfdfff;
}
.directories {
    border-color: #dfffff;
}
.codeTitle {
/*    background-color: white;*/
    color: black;
/*    position: absolute;*/
    position: relative;
    top: -1em;
/*    left: 1em;*/
/*    width: 20em;*/
/*    padding-right: 0.5em;*/
/*    padding-left: 0.5em;*/
}

.titleValue {
    background-color: white;
/*    padding-right: 0.5em;
    padding-left: 0.5em;*/
}

#billbordTop {
/*    position: fixed;
    position: absolute;
    top: 0;
    left: 0;*/
    margin-top: 1em;
    margin-bottom: 1em;
}

#billbordBottom {
/*    position: fixed;
    position: absolute;
    bottom: 0;
    left: 0;*/
    margin-top: 1em;
    margin-bottom: 1em;
}

#list, #detail {
    margin-top: 1em;
}

#warning_scriptXX {
    margin-bottom: 1em;
    padding: 1em;
    border: 1em solid #ffafaf;
}

#warning_domversion {
    margin-bottom: 1em;
    padding: 1em;
    border: 1em solid #7faf7f;
}

#billbord {
    position: fixed;
    top: 2em;
    left: 1em;
}