body > * {
    margin-left: 1cm;
    margin-right: 0.5cm;
}

body > blockquote, body > pre {
    margin-left: 2cm;
}

body > h1 {
    margin-left: inherit;
}

body > ul, body > dl {
    margin-left: 2cm;
}

dt {
    font-weight: bold;
    margin-top: 0.3cm;
    margin-bottom: 0.2cm;
}

li, dd, dd > p, li > p {
    margin-top: 0.2cm;
    margin-bottom: 0.2cm;
}

dd {
    margin-left: 0.5cm;
}

img {
    border-style: none;
}

p.warning {
/*
    border: solid;
    border-width: 2px;
    border-color: red;
    background-color: #FFDDDD;
    padding: 1ex;
*/
}

span.svg {
    font-family: monospace;
    background-color: #EEEEFF;
    padding-left: 0.2em;
    padding-right: 0.2em;
    border-color: #AAAAFF;
    border-style: solid;
    border-width: 1px;
}

span.menu, span.dialogue, span.button {
    font-weight: bold;
    background-color: #EEEEEE;
}

span.menu, span.dialogue, span.button {
    border-style: outset;
    border-width: 1px;
    padding-left: 0.2em;
    padding-right: 0.2em;
}

p.footer {
    border-width: medium;
    border-top-style: solid;
    margin-top: 5ex;
    padding-top: 1ex;
    margin-left: inherit;
    color: gray;
}

.footer a {
    color: gray;
    text-decoration: none;
}

pre {
  color: black;
  display: block;
  background-color: #f0f0f0;
  line-height: 1.25em;
  margin-top: 0.25em;
  margin-bottom: 2ex;
  padding-top: 0.25em;
  padding-left: 0.5em;
  padding-bottom: 0.25em;
  padding-right: 0.5em;
  border-style: solid;
  border-width: 1px;
  border-color: #ccc;
}