/* roboto-300 - latin */
@font-face {
  font-family: 'Roboto';
  font-style: normal;
  font-weight: 300;
  src: url('https://nymity.ch/fonts/roboto-v16-latin-300.eot'); /* IE9 Compat Modes */
  src: local('Roboto Light'), local('Roboto-Light'),
       url('https://nymity.ch/fonts/roboto-v16-latin-300.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('https://nymity.ch/fonts/roboto-v16-latin-300.woff2') format('woff2'), /* Super Modern Browsers */
       url('https://nymity.ch/fonts/roboto-v16-latin-300.woff') format('woff'), /* Modern Browsers */
       url('https://nymity.ch/fonts/roboto-v16-latin-300.ttf') format('truetype'), /* Safari, Android, iOS */
       url('https://nymity.ch/fonts/roboto-v16-latin-300.svg#Roboto') format('svg'); /* Legacy iOS */
}
/* roboto-300italic - latin */
@font-face {
  font-family: 'Roboto';
  font-style: italic;
  font-weight: 300;
  src: url('https://nymity.ch/fonts/roboto-v16-latin-300italic.eot'); /* IE9 Compat Modes */
  src: local('Roboto Light Italic'), local('Roboto-LightItalic'),
       url('https://nymity.ch/fonts/roboto-v16-latin-300italic.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('https://nymity.ch/fonts/roboto-v16-latin-300italic.woff2') format('woff2'), /* Super Modern Browsers */
       url('https://nymity.ch/fonts/roboto-v16-latin-300italic.woff') format('woff'), /* Modern Browsers */
       url('https://nymity.ch/fonts/roboto-v16-latin-300italic.ttf') format('truetype'), /* Safari, Android, iOS */
       url('https://nymity.ch/fonts/roboto-v16-latin-300italic.svg#Roboto') format('svg'); /* Legacy iOS */
}
/* roboto-mono-300 - latin */
@font-face {
  font-family: 'Roboto Mono';
  font-style: normal;
  font-weight: 300;
  src: url('https://nymity.ch/fonts/roboto-mono-v4-latin-300.eot'); /* IE9 Compat Modes */
  src: local('Roboto Mono Light'), local('RobotoMono-Light'),
       url('https://nymity.ch/fonts/roboto-mono-v4-latin-300.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('https://nymity.ch/fonts/roboto-mono-v4-latin-300.woff2') format('woff2'), /* Super Modern Browsers */
       url('https://nymity.ch/fonts/roboto-mono-v4-latin-300.woff') format('woff'), /* Modern Browsers */
       url('https://nymity.ch/fonts/roboto-mono-v4-latin-300.ttf') format('truetype'), /* Safari, Android, iOS */
       url('https://nymity.ch/fonts/roboto-mono-v4-latin-300.svg#RobotoMono') format('svg'); /* Legacy iOS */
}
/* roboto-mono-300italic - latin */
@font-face {
  font-family: 'Roboto Mono';
  font-style: italic;
  font-weight: 300;
  src: url('https://nymity.ch/fonts/roboto-mono-v4-latin-300italic.eot'); /* IE9 Compat Modes */
  src: local('Roboto Mono Light Italic'), local('RobotoMono-LightItalic'),
       url('https://nymity.ch/fonts/roboto-mono-v4-latin-300italic.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('https://nymity.ch/fonts/roboto-mono-v4-latin-300italic.woff2') format('woff2'), /* Super Modern Browsers */
       url('https://nymity.ch/fonts/roboto-mono-v4-latin-300italic.woff') format('woff'), /* Modern Browsers */
       url('https://nymity.ch/fonts/roboto-mono-v4-latin-300italic.ttf') format('truetype'), /* Safari, Android, iOS */
       url('https://nymity.ch/fonts/roboto-mono-v4-latin-300italic.svg#RobotoMono') format('svg'); /* Legacy iOS */
}
/* oswald-300 - latin */
@font-face {
  font-family: 'Oswald';
  font-style: normal;
  font-weight: 300;
  src: url('https://nymity.ch/fonts/oswald-v14-latin-300.eot'); /* IE9 Compat Modes */
  src: local('Oswald Light'), local('Oswald-Light'),
       url('https://nymity.ch/fonts/oswald-v14-latin-300.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('https://nymity.ch/fonts/oswald-v14-latin-300.woff2') format('woff2'), /* Super Modern Browsers */
       url('https://nymity.ch/fonts/oswald-v14-latin-300.woff') format('woff'), /* Modern Browsers */
       url('https://nymity.ch/fonts/oswald-v14-latin-300.ttf') format('truetype'), /* Safari, Android, iOS */
       url('https://nymity.ch/fonts/oswald-v14-latin-300.svg#Oswald') format('svg'); /* Legacy iOS */
}
/* Colorscheme from <https://www.webdesignrankings.com/resources/lolcolors/>:
 * #D09E88
 * #FADAD8
 * #534847
 * #9B8281
 */
body {
  color: #444;
  background-color: #fff;
  font-size: 15px;
  width:750px;
  margin-left:auto;
  margin-right:auto;
  font-family: 'Roboto', sans-serif;
}
h1,h2,h3 {
  font-family: 'Oswald', sans-serif;
}
body {
  line-height: 150%;
  text-align: justify;
}
a:link, a:visited {
  color: #a60000;
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}
li {
  padding-bottom: 7px;
}
tt, pre {
  font-size: 10pt;
  font-family: 'Roboto Mono', monospace;
}
h2 {
  margin-top: 40px;
}
.centered {
  text-align: center;
}
pre {
  background-color: #eee;
  padding: 5px;
  padding-left: 10px;
  padding-right: 10px;
  /* The following is taken from:
   * <https://stackoverflow.com/questions/248011/how-do-i-wrap-text-in-a-pre-tag>
   */
  white-space: pre-wrap;       /* Since CSS 2.1 */
  white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
  white-space: -pre-wrap;      /* Opera 4-6 */
  white-space: -o-pre-wrap;    /* Opera 7 */
  word-wrap: break-word;       /* Internet Explorer 5.5+ */
}
.toprightimg {
  padding-left: 10px;
  padding-bottom: 10px;
  float: right;
}
.address {
  font-family: 'Roboto Mono', monospace;
  display: inline;
}
.infobox {
  background-color: #eee;
  text-align: center;
  margin: 0 auto;
  margin-top: 20px;
  margin-bottom: 20px;
  padding: 10px;
}
.rightbox {
  float: right;
}
hr {
  height: 1px;
  border: none;
  background-color: #534847;
}