/* The users can setup their preferred font for a given family.  */

html {
  font-family: sans-serif;
}

pre {
  font-family: monospace;
}

h1 {
  font-variant: small-caps;
  text-shadow: #ddd 0.25ex 0.25ex 0.1ex;
}

h2 {
  text-shadow: #ccc 0.25ex 0.25ex 0.1ex;
}

#navigation a {
  font-variant: small-caps;
  text-decoration: none;
}

/* General link styles. */

a {
  text-decoration: underline;
}

a:hover {
  text-decoration: none;
}