#operations {
  color: #111111;
  height: 9px;
  width: 3em;
}
#operations .spacing {
  height: 9px;
  width: 3em;
}
.with-variables {
  height: 16em;
  width: 24em;
  size: 1cm;
}
.negative {
  height: 0px;
  width: 4px;
}
.shorthands { padding: -1px 2px 0 -4px; }
.colors {
  color: #112233;
  border-color: #334455;
  background-color: #000000;
}
.colors .other {
  color: #222222;
  border-color: #222222;
}