table.changelog td{vertical-align:top; padding-right:0.5rem; }
table.changelog p{margin-top:0; margin-bottom:0.5rem;}

header h1{
  font-size: 3vw;
  margin: 1rem 0 1vw 0;
}

/* don't resize logo below some minimal value */
@media (max-width: calc(2rem * 33)){
  header h1{
  font-size:2rem;
  margin-bottom
}
}
@media (max-width:35em){
  body{line-height:1.5;}
}

samp,code, kbd{font-family:monospace,monospace;}

nav {
  margin-bottom: 0.5rem;
  color: navy;
  font-size:120%;
}

nav a, nav a:visited{
  color: navy;
  font-weight: bold;
  text-decoration:none;
}

nav a:hover{
  text-decoration:underline;
}