/*
 * Site-wide stylesheet for Hacknot
 */


body, td {
  font-family: georgia, arial, sans-serif;
  font-size: 100%;
}


h1 {
  font-family: arial, helvetica, sans-serif;
  font-size: 110%;
  margin-bottom: 0px;
}

h1.main {
  font-family: arial, helvetica, sans-serif;
  font-size: 120%;
  margin-bottom: 0;
  color: green;
}

h2 {
  font-family: arial, helvetica, sans-serif;
  font-size: 110%;
  margin-bottom: 6px;
}

h3 {
  font-family: arial, helvetica, sans-serif;
  font-size: 100%;
  margin-bottom: 3px;
}

font.mandatory {
  font-style: bolder;
}

hr {
  color: #dedece;
}

th {
  font-style: bold;
  background-color: #C0C0C0;
  text-align: left;
}

blockquote {
  font-style: italic;
}

hr.main {
  color: green;
  margin-top: 0;
}

font.nodesc {
  font-family: arial, helvetica, sans-serif;
}

font.emph {
  font-weight: bold;
  color: green;
}

font.deemph {
  font-family: arial, helvetica, sans-serif;
  color: #636363;
  font-style: italic;
  font-size: 80%
}

font.sidebar {
  font-family: arial, helvetica, sans-serif;
  font-size: 70%;
}

font.sidebar-title {
  font-family: arial, helvetica, sans-serif;
  font-size: 100%;
  font-weight: bold;
}

font.warning {
  font-family: arial, helvetica, sans-serif;
  color: red;
  font-weight: bold;
}