.CodeMirror {
  border: 1px solid #eee;
  height: auto;
  background-color:#fff;
  /*min-height:120px;*/
  max-width:926px;
}
.CodeMirror-scroll {
  overflow-y: hidden;
  overflow-x: auto;
}
body {
  font-family:Arial,Helvetica,sans-serif;
  font-size:11pt;
  margin:0px;
  padding:2px;
  background-color:#f5f5f5;
}
div#menueleiste {
  padding-left:2px;
  margin-bottom:4px;
  vertical-align:top;
}
span.farbanzeige {
  display:inline-block;
  width:32px;
  height:14px;
}
span#b_fuellung {
  background-color:red;
}
span#b_linienfarbe {
  background-color:black;
}
svg#grafik1 {
  margin-left:6px;
}
.gerade_aktiv {
  box-shadow: 0 0 1px 1px #696969 inset;
}
.nach_oben {
  vertical-align:top;
}
.nach_rechts {
  text-align:right;
}
input[type=text] {
  border-style:solid;
  border-width:1px;
  border-color:#bebebe;
  border-radius:5px;
  padding:2px;
}
input[type=text]:hover {
  box-shadow: 0 0 1px 1px #369 inset;
}
input[type=text]:active {
  background-color:#fff6d5;
}
textarea#terminal {
  background-color:#300a24; /* black #300a24 */
  color:white;
  font-family:monospace;
  padding:4px;
  margin-top:10px;
  margin-left:6px;
  border-style:solid;
  border-color:#696969;
  border-width:1px;
  border-radius:5px;
  width:732px;
  /*box-shadow: 2px 2px 2px #696969;*/
}
table#menuetabelle, 
table#menuetabelle td {
  border-collapse:collapse;
  border-style:solid;
  border-color:#f5f5f5;
  border-width:1px;
  margin:0px;
  padding:0px;
}
table#contenttabelle, 
table#contenttabelle td {
  border-collapse:collapse;
  border-style:solid;
  border-color:#f5f5f5;
  border-width:1px;
  margin:2px;
  padding:2px;
}
.trennlinie {
  display:inline-block;
  margin-bottom:0px;
  border-left-style:solid;
  border-left-width:1px;
  border-left-color:#bebebe;
  height:26px;
  margin-top:2px;
}
.knopf {
  display:inline-block;
  border-style:solid;
  border-width:1px;
  border-color:#f5f5f5;
  border-radius:5px;
  width:32px;
  height:32px;
  text-align:center;
}
.knopf img {
  margin-top:2px;
}
.knopf:hover {
  border-color:#bebebe;
  box-shadow: 1px 1px 1px #696969;
  background-color:white;
}
.auswahl {
  margin-top:0px;
  border-style:solid;
  border-width:1px;
  border-color:#bebebe;
  border-radius:5px;
  background-color:#ffffff;
}
.auswahl:active {
  box-shadow: 0 0 1px 1px #696969 inset;
}