body {
    font-family: sans-serif;
}

body {
    margin: 1em;
}

h2 {
    font-size: 2em;
}

h1, h2, h3, h4, h5, h6 {
    font-weight: bold;
}

p {
    margin-top: 0.3em;
    margin-bottom: 0.3em;
}

.code {
    font-family: Monaco, monospace;
    font-size: 11pt;
    margin: 0.5em;
}

textarea.code {
    height: 20em;
    /* width: 60em; */
    width: 100%;
}

div.code {
    border-color: grey;
    border-width: 1pt;
    border-style: dashed;
}

.button {
    width: 10em;
}

.ChooseOptions {
    border-bottom-style: dotted;
    border-bottom-color: black;
    border-bottom-width: 1px;
    cursor: pointer;
}

/* vim: set ts=4 sw=4 et: */