@media (min-width: 580px) {

  header {
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    z-index: 50;
    backdrop-filter: blur(10px);
    -webkit-backdrop-filter: blur(10px);
    background-color: #fafafab3;
  }

  body {
    padding-top: 8em; /* отступ для контента под фиксированную шапку */
  }

code, pre {
  font-size: 16px;
}
}