@charset "UTF-8";

@font-face {font-family: "Computer Modern"; src: url(http://mirror.ctan.org/fonts/cm/ps-type1/bakoma/ttf/cmr10.ttf) format("truetype")}
@font-face {font-family: "Computer Modern sans-serif"; src: url(http://mirror.ctan.org/fonts/cm/ps-type1/bakoma/ttf/cmss10.ttf) format("truetype")}
@font-face {font-family: "Computer Modern Dunhill"; src: url(http://mirror.ctan.org/fonts/cm/ps-type1/bakoma/ttf/cmdunh10.ttf) format("truetype")}
@font-face {font-family: "Computer Modern small caps"; src: url(http://mirror.ctan.org/fonts/cm/ps-type1/bakoma/ttf/cmcsc10.ttf) format("truetype")}

/* FIXME get the following to work?
@import url(../../fonts/fonts.css);
*/

a {
   text-decoration: none;
}

a:link {
   color: #806040;
}

a:visited {
   color: #406080;
}

a:hover {
   bottom: 1px; position: relative; text-decoration: underline;
}

a:active {
   color: #606060;
}

body {
   background-color: #ddeeff;
   color: #001122;
   font-family: Didot, Palatino, "Palatino Linotype", serif;
   margin: auto;
   max-width: 900px;
   min-width: 600px;
   touch-action: manipulation;
   width: 80%;
}

fieldset, table#gameboard {
   float: left;
}

input.light {
   height: 100px;
   width: 100px;
}

label {
   display: block;
}

.bigtop {
   color: #660033;
/*
   font-family: "Computer Modern Dunhill", Garamond, Georgia, Baskerville, Palatino, "Palatino Linotype", Didot, Bodoni, serif;
*/
   font-family: Futura, "Century Gothic", Geneva, Tahoma, Verdana, Arial, sans-serif;
   font-size: 250%;
   font-weight: bold;
}

.email {
   font-family: monospace;
}

.endtag {
   font-size: 60%;
   font-style: italic;
   margin-left: 2em;
}

.header {
   font-family: "Computer Modern", Didot, Palatino, "Palatino Linotype", serif;
   font-size: 150%;
}

.smalltop {
   color: #660033;
   font-family: Garamond, Georgia, Baskerville, Palatino, "Palatino Linotype", Didot, Bodoni, serif;
   font-size: 100%;
   font-weight: normal;
}

.url {
   font-family: monospace;
}

::selection {
   background-color: #ffffff;
}

/*
@media screen and (prefers-color-scheme: dark) {
   body {
      background-color: rgb(0, 15, 30);
      color: rgb(255, 250, 245);
   }

   .bigtop {
      color: rgb(165, 195, 225);
   }
}
*/