.navbar-wbm {
  background-color: #049FD9;
}
.wbm-ciscoblue {
	background-color: #049FD9;
	color: #FFFFFF;
}
/*.content-wrapper {
  background: #C4D6ED;
}*/
.install-box,
.register-box {
  width: 860px;
}
pre {
  font-size: 15px;
  border: 2px solid grey;
  width: 100%;
  border-left: 12px solid gray;
  border-radius: 5px;
  padding: 14px;
  
  /* Fixed line height */
  line-height: 24px;
  
  /* Use linear-gradient for background image */
  background-image: linear-gradient(180deg, #eee 50%, #fff 50%);
  
  /* Size background so that the height is 2x line-height */
  background-size: 100% 48px;
  
  /* Offset the background along the y-axis by top padding */
  background-position: 0 14px;
}
.card-header > .install-card-tools {
  float: right;
  width:35%;
}
/*.CodeMirror,
.CodeMirror-fullscreen.CodeMirror {
    max-height: none;
}

.CodeMirror-fullscreen .CodeMirror-scroll {
    max-height: none;
}*/