div .highlight-bash .highlight {
  background-color: rgba(0, 130, 201, 0.1); 
}

.wy-nav-top {
  background: #009fffff; 
}