@import url("https://fonts.googleapis.com/css2?family=Roboto&family=Roboto+Mono&display=swap");
.writingbox textarea.error {
  border-color: #F00; }

.resultbox > span {
  margin-left: 15px; }

.toolbar ul {
  padding: 0;
  margin: 2px;
  background-color: #222222;
  list-style: none;
  user-select: none; }

.toolbar ul li {
  border: 2px solid #111;
  display: inline-block;
  margin: 2px;
  padding: 2px;
  cursor: pointer;
  list-style: none; }

.toolbar ul li ul {
  position: absolute;
  margin-top: 4px;
  padding: 10px; }

.toolbar ul li.closed ul {
  display: none; }

.optionspanel > ul {
  display: flex;
  flex-wrap: wrap;
  list-style: none;
  margin: 0;
  padding: 0;
  user-select: none; }

.optionspanel > ul > li {
  flex-grow: 1; }

.optionspanel > ul > li.closed {
  display: none; }

header {
  border-bottom: 1px solid #f00; }

html, body {
  background-color: #0c0c0c;
  color: #aaa;
  font-family: 'Roboto', sans-serif;
  padding: 0;
  margin: 0; }

body {
  padding: 0 8px; }

textarea {
  font-family: 'Roboto Mono', monospace;
  display: block;
  width: 100%;
  font-size: 13px;
  height: 30vh;
  background-color: #000;
  color: #fff;
  border: 2px solid #111;
  padding: 15px;
  box-sizing: border-box; }

a {
  color: inherit;
  text-decoration: none;
  border-bottom: 1px solid #aaa;
  display: inline-block;
  padding-bottom: 5px; }

h1 {
  padding: 0;
  margin: 3px 0; }

h2 {
  font-size: 18px;
  display: inline-block; }