.navbar {
  margin-bottom: 0;
  border-radius: 0;
}

nav li {
  display: inline-block;
  vertical-align: top;
}

nav a {
  display: block;
}

nav ul {
  height: 3em;
  display: flex;
  justify-content: center;
  align-items: center;
}

/* Set height of the grid so .sidenav can be 100% (adjust as needed) */

.row.content {
  height: 450px
}

/* Set gray background color and 100% height */

.sidenav {
  padding-top: 20px;
  background-color: #f1f1f1;
  height: 100%;
}

/* Set black background color, white text and some padding */

footer {
  background-color: #555;
  color: white;
  padding: 15px;
}

/* On small screens, set height to 'auto' for sidenav and grid */

@media screen and (max-width: 767px) {
  .sidenav {
    height: auto;
    padding: 15px;
  }
  .row.content {
    height: auto;
  }
}

.btn-primary, .btn-primary:hover, .btn-primary:active, .btn-primary:visited {
  background-color: darkslategray !important;
}

.btn-secondary, .btn-secondary:active, .btn-secondary:visited {
  background-color: darkslateblue;
  color: aliceblue;
  border-color: rgb(29, 110, 190);
}

.btn-secondary:hover, .btn-secondary:focus, .btn-tertiary:hover, .btn-tertiary:focus {
  border-color: rgb(19, 67, 114);
  color: aliceblue;
}

.btn-tertiary, .btn-tertiary:active, .btn-tertiary:visited {
  background-color: cornflowerblue;
  color: aliceblue;
  border-color: rgb(29, 110, 190);
}

textarea {
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
  border-radius: 5px;
}

#txtXML {
  width: 100%;
}

.CodeMirror {
  line-height: 1.3em;
  font-family: monospace;
  resize: vertical;
  /*overflow: auto !important;*/
  position: relative;
  overflow: hidden;
  background-color: white;
  width: 100%;
  display: inline-block;
  padding: 4px 6px;
  margin-bottom: 9px;
  color: #555555;
  border: 1px solid #ccc;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
  -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
  -moz-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
  box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
  -webkit-transition: border linear 0.2s, box-shadow linear 0.2s;
  -moz-transition: border linear 0.2s, box-shadow linear 0.2s;
  -ms-transition: border linear 0.2s, box-shadow linear 0.2s;
  -o-transition: border linear 0.2s, box-shadow linear 0.2s;
  transition: border linear 0.2s, box-shadow linear 0.2s;
}

.CodeMirror-focused {
  border-color: blue;
  outline: 0;
  outline: thin dotted \9;
  -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px blue;
  -moz-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px blue;
  box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px blue;
}