-
-.tooltip .title {
- 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;
-}
-
-.textarea {
- position: absolute;
- border: 1px solid black;
- background-color: #dddddd;
- z-index: 12;
-}
-
-.textarea .prompt {
-}
-
-.textarea .buttons {
- position: absolute;
- bottom: 5px;
- right: 5px;
-}
-
-.textarea button {
- color: #222222;
-}
-