body {
  padding: 1rem 5%;
  line-height: 1.45;
}
header, section {margin-bottom: 1.7rem}
h1 {font-size: 1.5rem;}
h2 {font-size: 1.2rem;}
#sub {
  color: #444;
  font-size: 0.9rem;
  position: relative;
  top: -0.75rem;
}
main {
  max-width: 50rem;
  padding-bottom: 1rem;
}
td {padding: 0 0.25rem}
dl {margin-left: 2.5rem}
#contact {margin-bottom: 0}
code {font-size: 14px}
a:link {
  color: #004caa;
  text-decoration: none;
  border-bottom: 1px solid #ddd;
}
a:hover {
  background-color: #004caa;
  color: #ffffff;
}
.btable th {
  color: #777;
  text-align: center;
  font-size: 0.9em;
  font-weight: normal;
}
.btable td:first-child {text-align: right}
#theses {padding-left: 1rem}
h1, h2, h3, h4, h5 {line-height: 1.15}
#gnu-inside {
  position: absolute;
  top: 0px;
  right: 0px;
}
#gnu-inside a {border: none !important}
#gnu-inside:hover a {background-color: transparent}
#gnu-inside:hover img {background-color: aliceblue}