body {
  padding-bottom: 40px;
  color: #5a5a5a;
}

#page-container {
	position: relative;
	padding-bottom: 60px;
	min-height: 100vh;
}

.page-header {
    padding-top:60px;
    background-color:#fff;
}

#textarea,
.CodeMirror {
  font-family: monospace;
  height: 450px;
  color: black;
}

.adbanner { 
  margin-bottom: 20px;
}

.lngd-highlight {
  width: 600px;
  height: 120px;
  border: 3px solid #cccccc;
  padding: 5px;
  font-family: Tahoma, sans-serif;
  color: #f00;
  background-position: bottom right;
  background-repeat: no-repeat;
}

div.example {
  width: auto;
  color: #000000;
  padding: 1.2%;
  border-radius: 4px;
  line-height: 1.15em;
  word-wrap: break-word;
  margin-bottom: 12px;
  margin-top: 12px;
}

h2.example, h2.example_head {
  font-size: 20px;
  color: #555555;
  margin-top: 1px;
}

pre {
  display: block;
  padding: 5px;
  margin: 0 0 10px;
  font-size: 13px;
  line-height: 1.0;
}

label {
  margin-right: 8px;
}

.btnPad {
  margin: 4px;
}

.isolatedDiv {
  all: initial; /* blocking inheritance for all properties */
}
.isolatedDiv * {
  all: unset; /* allowing inheritance within #mydiv */
}