/* GLOBAL STYLES
-------------------------------------------------- */
/* Padding below the footer and lighter body text */

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





/* 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: 0px;
}