pre.session {
    padding: 0.5em;
    background-color: #020;
    color: #afa;
}
pre.session kbd {
    font-weight: bold;
    color: #dfd;
}
pre.session span.comment {
    color: #4a4;
    font-size: smaller;
    font-style: italic;
}
.note:before {
    content: "Note: ";
    font-weight: bold;
}
.note {
    font-size: 91.3%;
    margin-left: 3em;
    margin-right: 3em;
    padding: 0.5em;
    border: 1px dotted #00bb44;
    position: relative;
}
pre.example {
    padding: 0.5em;
    background-color: #eee;
}
var { color: #052; }

/* embe */
.Document { font-family: monospace; color: #ffffff; background-color: #020; padding: 0.33333em; }
.Document a:link { color: inherit; }
.Document a:visited { color: inherit; }
.Constant { color: #ff6060; }
.Identifier { color: #00ffff; }
.Statement { color: #ffff00; }
.Comment { color: #8080ff; }
.Type { color: #00ff00; }
.fragment { color: inherit; }