.CodeMirror {
  border: 1px solid #eee;
  height: auto;
  font-size:16px;
  font-family:monospace;
}

body, table {
  font-family:Arial,Helvetica,sans-serif;
  font-size:16px;
}
#table_document td.html_rahmen {
  /*background-color:#f5f5f5;*/
}
select#auswahl_typ {
  width:320px;
}
#textarea_css, #textarea_script, #textarea_body {
  margin-left:10px;
  margin-right:5px;
  /*width:480px;*/
}
div.div_html {
  border-style:solid;
  border-width:1px;
  border-color:#f5f5f5;
  background-color:#f5f5f5;
  color:#666666;
  font-family:monospace;
  font-size:16px;
  /*width:480px;*/
  -moz-user-select: none;
  -khtml-user-select: none;
  -webkit-user-select: none;
  user-select: none;
}
div.div_doctype {
  border-style:solid;
  border-width:1px;
  border-color:#FFE6D5;
  background-color:#FFE6D5;
  color:#ff6600;
  font-family:monospace;
  font-size:16px;
  /*width:480px;*/
  -moz-user-select: none;
  -khtml-user-select: none;
  -webkit-user-select: none;
  user-select: none;
}
div.div_head {
  border-style:solid;
  border-width:1px;
  border-color:#e5ffd5;
  background-color:#e5ffd5;
  color:#059205;
  font-family:monospace;
  font-size:16px;
  /*width:480px;*/
  -moz-user-select: none;
  -khtml-user-select: none;
  -webkit-user-select: none;
  user-select: none;
}
div.div_body {
  border-style:solid;
  border-width:1px;
  border-color:#d5e5ff;
  background-color:#d5e5ff;
  color:#0584d1;
  font-family:monospace;
  font-size:16px;
  /*width:480px;*/
  -moz-user-select: none;
  -khtml-user-select: none;
  -webkit-user-select: none;
  user-select: none;
}
select {
  border-style:solid;
  border-width:1px;
  border-color:#bebebe;
  padding:2px;
  background-color:#ffffff;
}

input[type=text], textarea {
  border-style:solid;
  border-width:1px;
  border-color:#bebebe;
  padding:2px;
  background-color:#ffffff;
  font-family:monospace;
  font-size:16px;
}
select:hover, input[type=text]:hover, textarea:hover {
  border-color:cornflowerblue;
}
input[type=button] {
  font-weight:bold;
  background-color:cornflowerblue;
  color:white;
  padding:2px;
  border-style:solid;
  border-color:#bebebe;
  border-width:1px;
}
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;
}