@font-face {
  font-family: imfell;
  src: url("../fonts/im-fell-dw-pica.roman.ttf") format("truetype");
  font-style: regular;
}

@font-face {
  font-family: imfell;
  src: url("../fonts/im-fell-dw-pica.italic.ttf") format("truetype");
  font-style: italic;
}

@font-face {
  font-family: imfellsc;
  src: url("../fonts/im-fell-dw-pica.sc.ttf") format("truetype");
  font-style: regular;
}

ul.toc {
  list-style-type: none;
}

.sc {
  font-family: imfellsc;
}

body {
  max-width: 50em;
  margin-left: auto;
  margin-right: auto;
  font-family: imfell;
  font-size: 20px;
  color: #000;
  padding: 2em;
}

td,
th {
  padding: 5px;
}

h1 {
  margin-top: 1em;
  font-size: 35px;
  margin-left: auto;
  margin-right: auto;
  width: 100%;
}

h1,
h2,
h3 {
  font-family: imfellsc;
}

a {
  text-decoration: none;
  color: blue;
}

a:hover {
  text-decoration: underline;
}

a:visited {
  color: blue;
}

h2,
h3 {
  margin-bottom: 10px;
}

h2 {
  font-size: 30px;
}

h3 {
  font-size: 25px;
}

h1.title {
  font-size: 60px;
}

h1.subtitle {
  font-size: 30px;
  margin-top: 0px;
}

li {
  margin-top: 0.5em;
}

pre {
  padding: 10px;
  background-color: #eee;
  font-size: 16px;
  border-radius: 5px;
}

.warning {
  border: 2px solid #800;
  color: #a00;
  border-radius: 5px;
  padding: 10px;
  text-align: center;
}