#appunti-container * {
    font-family: Arial, sans;
}
#appunti-container  h1,
#appunti-container h2,
#appunti-container h3,
#appunti-container h4 {
    color: green;
    margin-top: 10px;
}
#appunti-container h2 {
    text-align: center;
}
#appunti-container h3 {
    border-bottom: solid 1px;
    width: 100%;
}
#appunti-container h4 {
}
#appunti-container pre,
#appunti-container code {
    font-family:monospace;
}
#appunti-container  p.abstract {
    font-size: small;
    border: solid 1px #444488;
    padding: 5px;
    background-color: #ddeeff;
}
#appunti-container  div#body-container {
   /* width: 56em; */
    width: 52em;
    margin-left: auto;
    margin-right: auto;
}
#appunti-container div.system {
    font-family:monospace;
    font-size: small;
    font-weight: bold;
    border: 3px solid #ccccff;
    background-color: #222;
    color: #cccccc;
    padding: 1em;
    border-radius: 15px;
    -moz-border-radius: 15px;
    -webkit-border-radius: 15px;
}
#appunti-container .command {
    font-family:monospace;
    background-color: #F9F9F9;
    border: 1px dashed #2F6FAB;
    color: black;
    font-family: 'Courier New', Courier, mono;
    font-size: 12px;
    font-style: italic;
    line-height: 1.1em;
    padding: 1em;
}
#appunti-container div.editor {
    font-family:monospace;
    background-color: #F9F9F9;
    border: 1px solid #2F6FAB;
    color: black;
    font-size: 12px;
    font-style: italic;
    line-height: 1.1em;
    padding: 1em;
    -moz-border-radius: 15px;
    -webkit-border-radius: 15px;
}
#appunti-container div#footer {
    background-color: #ddeeff;
    border: 1px solid #2F6FAB;
    color: #2F6FAB;
    font-size: small;
    text-align: center;
    padding: 2px;
}
#appunti-container div#footer a {
    text-decoration: none;
    color: orange;
}
#appunti-container div#footer a:visited {
    color: orange;
}
#appunti-container div#footer a:hover {
    text-decoration: underline;
}
#appunti-container .answer {
    color: lightgreen;
}
#appunti-container img.center {
    display:block;
    margin: 0.5em auto 0.5em auto;
}
#appunti-container div.nota {
    padding: 1em;
    font-size: small;
    border: dashed 2px red;
    background-color: #ddeeff;
}