/* css styles */


/* navbar adjustments */

.navbar .navbar-container>.navbar-brand-container {
  margin-left: 0 !important;
  margin-right: 0 !important;
  padding-bottom: 4px;
}

/* badge */

.badge-alt,
.badge-alt:hover {
  color: #3276b5;
  white-space: nowrap;
  text-decoration: none;
  /*border: 1px solid #3276b5;*/
}

.badge-alt {
  background-color: #ffffff;
}



/* Inline code */

/* Code blocks */
.code-with-filename .code-with-filename-file {
  padding: .25rem;
  box-shadow: 0px 0px 2px rgba(5, 10, 15, .14), 0px 2px 4px rgba(29, 31, 33, .16);
}


div.sourceCode, pre.console {
  border: none;
  border-radius: 10px;
  box-shadow: 0px 0px 2px rgba(5, 10, 15, 0.14), 0px 2px 4px rgba(29, 31, 33, .16);
  margin-top: 2rem;
  margin-bottom: 2.5rem;
  padding: .25rem;
}


/* Tip callout adjustments */

div.callout-tip.callout {
  border-right: 1px solid #dee2e6  !important;
  border-top: 1px solid #dee2e6 !important;
  border-bottom: 1px solid #dee2e6 !important;

}