body {
  background-color:#f7f7f7;
  font-size:12px;
  font-family:Arial,Helvetica,sans-serif;
  line-height:17px;
  padding-top:5px !important;
}

table#formeleingabe {
  padding-top:0px;
}
textarea#mehr {
  border-style:none;
  background-color:#ffffff;
  width:640px;
  height:1900px;
  padding:2px;
}
textarea#t_ausgabe {
  border-style:solid;
  border-color:#bebebe;
  border-width:1px;
  background-color:#ffffff;
  padding:2px;
}
textarea#t_ausgabe:hover {
  border-color:cornflowerblue;
}
@font-face {
  font-family: 'SourceCodePro';
  font-style: normal;
  font-weight: 400;
  src: local('SourceCodePro'), 
       local('SourceCodePro'), 
       url('../fonts/SourceCodePro.otf') format('opentype');
}

input[type=button] {
  font-weight:bold;
  background-color:cornflowerblue;
  color:white;
  padding:2px;
  border-style:solid;
  border-color:#bebebe;
  border-width:1px;
  margin:2px;
  margin-right:10px;
}

input[type=button]:hover {
  color:cornflowerblue;
  background-color:#fff;
  border-color:cornflowerblue;
  cursor:pointer;
}

div.knopf {
  width:32px;
  height:32px;
  border-style:solid;
  border-color:#696969;
  border-width:1px;
  border-radius:5px;
  background-color:white;
  -moz-user-select: none;
  -khtml-user-select: none;
  -webkit-user-select: none;
  user-select: none;
}

div.knopf_hoch {
  width:32px;
  height:68px;
  border-style:solid;
  border-color:#696969;
  border-width:1px;
  border-radius:5px;
  background-color:white;
}

pre, tt, div#mehr {
  background-color:white !important;
}

div.knopf:hover,
div.knopf_hoch:hover {
  border-color:#f60;
  background-color:#ffe6d5;
  cursor:pointer;
  /*color:#f60;*/
}

div.sehr_breit {
  width:128px;
}

div.formelbreit {
  width:340px;
}

.CodeMirror {
  font-family:'SourceCodePro',monospace;
  height:120px;
  /*font-size:12pt;*/
}

table, td {
  border-style:solid;
  border-width:1px;
  border-color:#f5f5f5;
  padding:0px;
  border-collapse:collapse;
  font-size:12px;
  font-family:Arial,Helvetica,sans-serif;
  line-height:17px;
  background-color:#f5f5f5;
}

div#ausgabebereich,
div#vorschaubereich {
  width:720px;
  background-color:white;
}

.nach_rechts {
  text-align:right;
}