.keyword {
        border-bottom: 1px silver dashed;
        font-size: 108%;
        background-color: yellow;
}
.keyword.minikeyword {
        font-size: 70%;
}

#debug_log {
        background: white;
        color: black;

}

*.toolhint {
        border: 1px dotted silver;
        background: #ffc;
}
.toolhint q, .toolhint blockquote {
        display: none;
}

.toolhint q.hover, .toolhint blockquote.hover {
        position: absolute;
        display: block;
        background: white;
        color: black;
        padding: 1.5ex;
        border: 1px solid black;
        background: #fcf;
}

.toolhint .hover.large {
        width: 70%;
}

.toolhint .hover.medium{
        width: 50%;
}

.toolhint .hover.small{
        width: 30%;
}

*.cdata {
        white-space: pre;
}

.aside {
        display: block;
        float: right;
        padding: 1.5ex;
        width: 35%;
        font-size: small;
        border: 3px dotted silver;
}

.aside.note, .note {
        border: 2px dashed #fef;
        background: #efffdf;
}

* .idea {
        border: 1px dashed silver;
        background-color: #fef;
}

* .idea:before {
        content: "IDEA: ";
        opacity: .8;
        font-size: 110%;
}


.todo {
        border: 1px dashed silver;
        background-color: #eff;
}
.todo:before {
        content: "TODO: ";
        opacity: .8;
        font-size: 110%;
}

.names dt.name {
        font-weight: bold;
}
.current {
        font-weight: bold;
        border-bottom: 1px dotted silver;
}
.current:after {
        position: relative;
        font-size: 80%;
        content: "(current)";
        background-color: #efe;
        display: block;
}