
body {

    background-color: grey;

    font-family: 'Open Sans';
    font-weight: normal;
    font-size: 14px;

    /* background-color: #dea200; */
    margin: 0px;
    padding-left: 2cm;
    padding-right: 2cm;
}

body {
    margin-left: 1cm;
    margin-right: 2cm;
}

dt {
    font-weight: bold;
    font-size: 120%;
    margin-top: 5mm;
    margin-bottom: 5mm;
}

di {
    font-style: italic;
    padding-left: 1cm;
    display: block;
}

li {
    margin-top: 1mm;
    margin-bottom: 1mm;
}

#body {
    padding: 5mm 2cm;
    background-color: white;
}

#body > * {
    margin_left: 1cm;
}

#header {
    color: white;
    background-color: black;
    font-weight: bold;
    margin: 0px;
    padding: 2mm 5mm;
}

#header a {
    color: inherit;
    float: none;
}
#header > span {
    color: inherit;
    float: right;
    margin-right: 2mm;
    cursor: pointer;
}

#headerbuffer {
    background-color: #dea200;
    background-image: url('/doc/doc-pattern');
    height: 2cm;
    margin: 0px;
}

.box {
    padding: 2mm 10mm;
    border: solid grey 1px;
}

.hpad {
    margin-left: 1cm;
    margin-right: 2cm;
}

.em {
    font-weight: bold;
}

span.attr {
    font-family: monospace;
    font-weight: bold;
}

p.expl {
    font-style: italic;
    margin-left: 1cm;
    margin-right: 1cm;
}

/* esimerkkikoodi */
.example {
    background-color: #eee;
    border: solid #555 1px;
    margin: 4mm 1cm;
}

.example > a {
    display: block;
    color: white;
    background-color: #555;
    padding: 2mm 5mm;
    margin-bottom: 5mm;
}


.example > pre {
    margin-top: 4mm;
    margin-bottom: 4mm;
    padding-left: 5mm;
    padding-right: 5mm;
    font-size: 80%;
    overflow: auto;
    white-space: break-spaces;
}


a {
    color: brown;
    font-weight: bold;
    font-family: monospace;
    text-decoration: none;
}

a:hover { text-decoration: underline }


/*
  Local variables: ***
  mode: css ***
  coding: utf-8 ***
  file-coding-system: utf-8 ***
  c-basic-offset: 4 ***
  End: ***
*/
