+++ /dev/null
-.tooltip {
- position: absolute;
- border: 1px solid black;
- background-color: lightyellow;
- width: 280px;
-}
-
-.tooltip .prompt {
- font-family: Inconsolata, Courier New, Courier;
-}
-
-.tooltip .type {
- font-family: Inconsolata, Courier New, Courier;
- margin-bottom: 0.5em;
- font-size: smaller;
-}
-
-.tooltip .body {
- font-size: smaller;
-}