@import url("font/linux-libertine.css");
@import url("font/linux-biolinum.css");
@import url("font/computer-modern.css");

:root {
  --paper:                 rgba( 24,  24,  24, 1.0);
  --paper-roof:            rgba(  0,   0,   0, 1.0);
  --ink:                   rgba(204, 204, 204, 1.0);
  --ink-highlighted:       rgba(255, 255, 255, 1.0);
  --link:                  rgba(255, 204,   0, 1.0);
  --link-highlighted:      rgba(255, 255, 255, 1.0);
  --margin-vertical:       1rem;
  --margin-horizontal:     3rem;
  --margin-outdent:        2rem;
  --logo-height:           15px;
  --nav-item-gap:          1rem;
  --font-body:             'Computer Modern Bright';
  --font-body-fallback:    sans-serif;
  --font-heading:          'Computer Modern Sans Demi-Condensed';
  --font-heading-fallback: sans-serif;
  --font-size:             18px;
}

a {
  color: var(--link);
}
a:hover {
  color: var(--link-highlighted);
}
a em, em a {
  color: var(--link-highlighted);
}

body { 
  font-family: var(--font-body), var(--font-body-fallback);
  font-size: var(--font-size);
  margin: 0;
  padding:
    var(--margin-vertical) var(--margin-horizontal)
    var(--margin-vertical)
    calc(var(--margin-horizontal) + var(--margin-outdent));
  background-color: var(--paper);
  color: var(--ink);
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

em {
  color: var(--ink-highlighted);
  font-style: normal;
  font-weight: 700;
}

h1, h2, h3 { 
  color: var(--ink-highlighted);
  font-weight: normal;
}
h1, h2 { 
  margin-left: calc(-1 * var(--margin-outdent));
}
h2, h3 {
  font-size: 1em;
}
h1 { 
  font-family: var(--font-heading), var(--font-heading-fallback);
  font-size: 1.666em;
  letter-spacing: 0.05em;
}

header {
  display: flex;
  align-items: center;
  margin: calc(-1 * var(--margin-vertical))
    calc(-1 * var(--margin-horizontal)) var(--margin-vertical)
    calc(-1 * calc(var(--margin-horizontal) + var(--margin-outdent)));
  padding: var(--margin-vertical) var(--margin-horizontal);
  background-color: var(--paper-roof);
}

html {
  font-size: 100%;
}

img.logo {
  width: auto;
  height: var(--logo-height);
  display: block;
}

nav {
  margin-left: auto;
  display: flex;
  gap: var(--nav-item-gap); 
  padding-left: var(--nav-item-gap);
}