body {
    font-family: sans-serif;
    background-color: %window_background%;
}
section {
    display: block;
    border: 1px solid black;
    margin-bottom: 10px;
}
header {
    display: block;
    background-color: %highlight_background%;
    color: %highlight_foreground%;
    font-size: 16px;
    font-weight: bold;
    text-align: center;
    padding: 2px;
}
description {
    padding: 2px;
    padding-left: 10px;
    padding-right: 10px;
    display: block;
    background-color: white;
    font-size: 16px;
}
arg {
    font-style: italic;
    font-family: serif;
    font-size: 19px;
}
example {
    font-family: %editor_font_family%;
    padding: 2px;
    padding-left: 10px;
    padding-right: 10px;
    display: block;
    background-color: white;
    font-size: %editor_font_size%;
}
syntax {
    font-family: %editor_font_family%;
    padding: 2px;
    padding-left: 10px;
    padding-right: 10px;
    display: block;
    background-color: white;
    font-size: %editor_font_size%;
}

information {
    display: block;
    position: fixed;
    top: 10px;
    left: 10px;
    right: 10px;
    bottom: 10px;
    padding: 20px;
    border: 1px solid black;
    background-color: white;
    font-family: %editor_font_family%;
    font-size: %editor_font_size%;
    text-align: center;
}