body {
  font-family:Arial,Helvetica,sans-serif;
  font-size:14px;
  /*line-height:24px;*/
  /*background-color:#ffffff;*/
  margin:0px;
  padding:0px;
}
div, p {
  margin:0px;
  padding:0px;
}
.CodeMirror {
  border-style:solid;
  border-width:1px;
  border-color:#bebebe;
  height:auto;
  line-height:1.4em;
}
select {
  margin-left:4px;
  margin-top:2px;
  margin-bottom:2px;
}
select, input[type=text], textarea {
  border-style:solid;
  border-width:1px;
  border-color:#bebebe;
  padding:2px;
  background-color:#ffffff;
}
select:hover, input[type=text]:hover, textarea:hover {
  border-color:cornflowerblue;
}
input[type=button] {
  font-weight:bold;
  background-color:cornflowerblue;
  color:white;
  padding:5px;
  border-style:solid;
  border-color:#bebebe;
  border-width:1px;
  margin-left:4px;
  margin-top:2px;
  margin-bottom:2px;
}
input[type=button]:hover {
  color:cornflowerblue;
  background-color:#fff;
  border-color:cornflowerblue;
  cursor:pointer;
}
.nach_rechts {
  text-align:right;
}
.zentriert {
  text-align:center;
}
.nach_oben {
  vertical-align:top;
}
a:focus {
  outline: thin dotted;
}
a:active, a:hover {
  outline: 0;
}
a {
  color: #428bca;
  text-decoration: none;
}
a:hover, a:focus {
  color: #2a6496;
  text-decoration: underline;
}
a:focus {
  outline: thin dotted #333;
  outline: 5px auto -webkit-focus-ring-color;
  outline-offset: -2px;
}