:root{
    --background: #efefef
}

body{
    font-family: Consolas, Monospace, Courier;
    font-size: 16px;
    padding-left: 2%;
    padding-right: 2%;
    background: var(--background);
    color: black;
    max-width: 900px;  
    margin: 0 auto;
}

a{
    color: black;
    text-decoration: underline;
}

ul.navbar {
  list-style-type: none;
  background-color: var(--background);
  display: flex;
  justify-content: center;
}

ul.navbar li a{
  font-size: 20px;
  color: black;
  padding: 0px 20px;
  text-decoration: none;  
}

ul.navbar li a:hover{
  color: grey;
}

img{
  max-height: 100%;
  max-width: 100%;
}

.article {
  margin: 50px;
  padding: 10px 20px 20px 20px;
}

.article a:hover{
    color: grey;
}


.article-header H1{
  border-width: 0 0 1px 0;
  border-style: dashed;
  padding-bottom: 2px;
}

.note{
  border-width: 1px;
  border-style: dashed;
  padding: 5px;
  display: block;
  background-color: white;
}

pre code {
  background-color: white;
  padding: 3px;
  display: block;
}

p code {
    background-color: white;
    padding: 3px;
}