-.tooltip .type {
- font-family: Inconsolata, Courier New, Courier;
- margin-bottom: 0.5em;
- font-size: smaller;
-}
-
-.tooltip .body {
- font-size: smaller;
-}
-
-.textarea {
- position: absolute;
- border: 1px solid black;
- background-color: #dddddd;
- z-index: 12;