
/* body */

body {
    background-color: white;
    color: black;
    /* font-family: monospace; */
}


/* section */

h2 {
    text-align: left;
    border-left: solid 14px #fcc;
    border-bottom: dashed 1px #fcc;
    color: black;
    font-size: 120%;
    font-weight: normal;
    background: #fee;
    padding: .1em .5em .1em .5em;
    margin-left: 1em;
}

div.screenshots {
    text-align: center;
}

div.screenshots h2 {
    text-align: left;
    border-left: solid 14px #c88;
    border-bottom: dashed 1px #c88;
    color: black;
    font-size: 120%;
    font-weight: normal;
    background: #fcc;
    padding: .1em .5em .1em .5em;
    margin-left: 0em;
}

div.report h2 {
    text-align: left;
    border-left: solid 14px #c88;
    border-bottom: dashed 1px #c88;
    color: black;
    font-size: 120%;
    font-weight: normal;
    background: #fcc;
    padding: .1em .5em .1em .5em;
    margin-left: 0em;
}

div.context h2 {
    text-align: left;
    border-left: solid 14px #c88;
    border-bottom: dashed 1px #c88;
    color: black;
    font-size: 120%;
    font-weight: normal;
    background: #fcc;
    padding: .1em .5em .1em .5em;
    margin-left: 0em;
}

div.appendix h2 {
    text-align: left;
    border-left: solid 14px #c88;
    border-bottom: dashed 1px #c88;
    color: black;
    font-size: 120%;
    font-weight: normal;
    background: #fcc;
    padding: .1em .5em .1em .5em;
    margin-left: 0em;
}

div.appendix h3 {
    text-align: left;
    border-bottom: dashed 2px #c88;
    color: black;
    font-size: 100%;
    font-weight: bold;
    padding: .1em .5em .1em .5em;
    margin-left: 1em;
    margin-right: 1em;
}

div.concept h2 {
    text-align: left;
    border-left: solid 14px #c88;
    border-bottom: dashed 1px #c88;
    color: black;
    font-size: 120%;
    font-weight: normal;
    background: #fcc;
    padding: .1em .5em .1em .5em;
    margin-left: 0em;
}

div.concept h3 {
    text-align: left;
    border-bottom: dashed 2px #c88;
    color: black;
    font-size: 100%;
    font-weight: bold;
    padding: .1em .5em .1em .5em;
    margin-left: 1em;
    margin-right: 1em;
}


/* content */

p {
    margin: 0.5em 2em 1.5em 2em;
    line-height: 135%;
}

pre {
    text-align: left;
    line-height: 135%;
    background-color: #eef;
    border: #ccf 1px solid;
    padding: 1em 1em 1em 1em;
    margin-left: 4em;
    margin-right: 3em;
}


/* keywords */

dl {
    border: solid 1px #CCC;
    padding: .5em .5em .5em .5em;
    margin-left: 3em;
    margin-right: 3em;
}

dt {
    font-size: 90%;
    font-weight: bold;
    margin-top: .5em;
}

dd {
    font-size: 90%;
    line-height: 135%;
    margin-bottom: 1em;
}


/* table */
table {
    background: #ccf;
    font-size: 100%;
    line-height: 135%;
    margin: 1em 1em 1em 1em;
}

th {
    margin: 1px;
    padding: 5px;
    width: 48px;
    background: #ddf;
}

td {
    margin: 1px;
    padding: 5px;
    background: #eef;
}


/* list */

ul {
    margin-left: 5em;
}

ul ul {
    margin: 0.3em 0em 0.3em 3em;
}

li {
    list-style-type: decimal;
    line-height: 135%;
}


/* link */

a {
}

a:link { color: blue; }
a:visited { color: blue; }
a:active { color: red; }

a img {
    border: none;
}


