html, body {
  font: 20px 'Avenir', 'Roboto', 'Helvetica Neue', Helvetica, Arial, sans-serif;
  height: 100%;
  color: #5a5a5a;
  background: #ffffff;
}

.panels {
	/* height: 400px; */
}
textarea.form-control {
	font-family: Menlo,Monaco,Consolas,"Courier New",monospace;
	font-size: large;
    height: 250px;
}
.form-control {
	overflow: scroll;
	height: 250px;
	font-size: large;
	word-wrap: break-word;
}
code {
	color: #2493ca;
}

/* 
'http://www.example.com/section/article?id=123#top'

<span class="url-protocol">http:</span>
<span class="url-protocol-delimiter">//</span>
<span class="url-host">www.example.com</span>
<span class="url-path">/section/article</span>
<span class="url-query-delimiter">?</span>
<span class="url-query-param-name">id</span>
<span class="url-query-param-assign">=</span>
<span class="url-query-param-value">123</span>
<span class="url-hash-delimiter">#</span>
<span class="url-hash">top</span> 
*/
.url-protocol  {
	font-weight: bold;
	color: #000;
}
.url-protocol-delimiter   {
	font-weight: bold;
	color: #000;
} 
.url-host  {
	font-weight: bold;
	color: #000;
}
.url-path  {
	font-weight: bold;
	color: #000;
}
.url-query-delimiter  {
	font-weight: bold;
	color: #000;
}
.url-query-param-name  {
	font-weight: bold;
	color: #000;
}
.url-query-param-assign  {
	font-weight: bold;
	color: #000;
}
.url-query-param-value  {
	font-weight: bold;
	color: #000;
}
.url-hash-delimiter  {
	font-weight: bold;
	color: #000C33;
} 
.url-hash  {
	font-weight: bold;
	color: #000;
}


/* More custom for pocketknife */

.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;
  background-color: #f1f1f1;
  border: 1px solid #ebebeb;
  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;
}

.jumbotron h1 {
  margin-left: 100px;
}

.btnPad {
  margin: 4px;
}

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