.code-header {
  background-color: #474747;
  color: #999999;
  /* border-bottom: 1px solid #999999; */
  position: absolute;
  width: 100%;
  left: 0px;
  top: 0px;
  padding-left: 25px;
  padding-top: 5px;
  padding-bottom: 3px;
}

div.code {
  /* position: relative; */
  margin-left: 20px;
  margin-right: 20px;
}


/* .code-header + code[class*="language-"] { */
/*   border-top-left-radius: 0; */
/*   border-top-right-radius: 0; */
/* } */