Stuff

.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;}