/* stylesheet.css */
  /* Special layout for standard tags  */
  * {
    font-family: Verdana;
    color: #555555;
    text-align: justify;
  }
  body {
    background-color: white;
    margin-left: 20px;
    margin-right: 20px;
    margin-top: 20px;
  }
  h1, h2, h3, h4, h5, h6 {
    background-color: #CCCCCC;
    color: white;
    text-align: center;
  }
  a {
    color: #111111;
  }
  dfn {
    font-style: italic;
    font-weight: bolder;
  }
  em {
    font-style: italic;
  }
  code {
    color: green;
    font-size: larger;
    font-family: monospace;
    /* font-weight: bolder; */
  }
  pre {
    color: #888888;
    font-family: monospace;
  } 
  td, th {
    padding: 4px;
    text-align: center;
  }
  /* Special features  */
  .todo {
    color: red;
    font-size: large;
  }
  .footnote {
    color: blue;
    font-size: smaller;
    text-decoration: none;
  }
  .timestamp {
    font-size: smaller;
  }
  .continuehere {
    font-size: larger;
    color: red;
  }
  .button {
    background-color: #CCCCCC;
    color: white;
    border-style: ridge;
    margin: 10px;
    padding: 10px;
    font-weight: bold;
    font-size: x-large;
  }
  /* Cards, equal-size building blocks for the default index page. */
  .card {
    display: table;
    table-layout: fixed;
    width: 280px;
    height: 360px;
    padding: 4px;
    margin: 20px;
    float: left;
  }
  .cardhead {
    text-align: center;
    background-color: #CCCCCC;
    margin: 1px;
    border-width: thin;
    display: table-row;
    height: 50px;
    overflow: hidden;
    font-size: x-large;
    font-weight: bold;
    color: white;
    font-family: Verdana;
  }
  .cardhead a {
    color: white;
    text-decoration: none;
    font-family: Verdana;
  }
  .normalcardbody {
    overflow: scroll;
    text-align: left;
    height: 290px;
    padding: 10px;
    font-size: medium;
    background-color: white;
    font-family: Verdana;
  }
  .tinycardbody {
    overflow: scroll;
    text-align: left;
    height: 290px;
    font-size: xx-small;
    background-color: white;
    padding: 10px;
    font-family: Verdana;
  }