/* Basic styles */

html {
  overflow: -moz-scrollbars-vertical;
  overflow-y: scroll;
}

body {
  font-family: times new roman, times, serif;
  margin: 0;
  margin-bottom: 2em;
  color: black;
  background-color: white;
}

h1 {
  font-size: 140%;
}

h2 {
  border-bottom: 1px solid #3B6B9C;
  font-size: 120%;
  margin-bottom: .3em;
  margin-left: -30pt;
  margin-right: -30pt;
  padding: 0 20pt;
}

h3 {
  margin: .6em 0 .3em 0;
  font-size: 100%;
}

h3 a {
  font-weight: normal;
}

#page {
  margin: 1em 30pt;
}

a {
  color: #005B9A;
  text-decoration: none;
}
a:visited { color: #146; }
a:hover { text-decoration: underline; }

a.plain, a.plain:visited { color: inherit; }

.part {
  font-family: verdana, arial, sans-serif;
  font-size: 85%;
}
a.part { color: #951; }
a.part:visited { color: #754; }

img {
  border: 0;
  vertical-align: middle;
}
button {
  vertical-align: text-bottom;
  overflow: visible;
}

table {
  border-collapse: collapse;
  border: 0;
}

th { text-align: left; }

.linkish {
  cursor: pointer;
  color: #005B9A;
  font-weight: normal;
}
.linkish:hover {
  text-decoration: underline;
}

.subtle {
  font-weight: normal;
  font-size: 90%;
  color: #999;
}

ul.simple {
  list-style-type: none;
  margin-left: 0;
  padding-left: .7em;
}

p, ul, ol {
  margin: .3em 0;
}

p {
  max-width: 50em;
}

select {
  border: none;
  background: white;
}

button {
  border: 1px solid #0191C8;
  background-color: white;
  overflow: visible;
  padding: 1px 3px;
  margin: 0;
  vertical-align: top;
}
button:hover {
  border-width: 2px !important;
  padding: 0px 2px;
}

input[type=text] {
  border: 1px solid #DDD;
}

textarea {
  border: 1px solid black;
  padding: .3em .5em;
}
