body {
  margin: 0 auto;
}

h1 {
  font-size: 18px;
}

img {
  border: 0;
}

table {
  border-collapse: collapse;
}

header {
  background: #eee;
  height: 70px;
  max-width: 1200px;
}

footer {
  height: 70px;
  max-width: 1200px;
  margin-top: 30px;
  text-align: center;
}

nav {
  display: inline-block;
  height: 400px;
  vertical-align: top;
  width: 210px;
}

nav div {
  margin-bottom: 10px;
}

a:hover.link {
  color: #004400;
}

nav a, nav a:visited {
  color: #111;
  display: block;
  font-family: "Lucida Grande", Tahoma, Verdana, Helvetica, sans-serif;
  font-size: 11px;
  font-weight: normal;
  line-height: 17px;
  margin-left: 14px;
  margin-right: 8px;
}

nav a:hover {
  color: #009999;
}

.a {
  color: #000;
  font-family: "Lucida Grande", Tahoma, Verdana, Helvetica, sans-serif;
  font-size: 11px;
  font-weight: normal;
  text-decoration: none;
}

.link {
  color: #009999;
  font-family: "Lucida Grande", Tahoma, Verdana, Helvetica, sans-serif;
  font-size: 12px;
  font-weight: normal;
  text-decoration: none;
}

.cruncher-result {
  padding: 3px;
  width: 75%;
}

.crunchertable {
  border: 1px solid #000;
}

.crunchertable tr td {
  background-color: inherit;
  border: 1px solid #000;
  padding: 2px;
}

.numeral-cell {
  background-color: #fff;
  vertical-align: middle;
}

.primality-tool {
  background-color: #e0faed;
  border: 1px solid #444;
}

.primality-tool-cell {
  padding: 10px;
}

.mersennetable tr td,
.perfecttable tr td,
.fermattable tr td {
  background-color: inherit;
  border: 0;
  padding-bottom: 2px;
  padding-left: 12px;
  padding-right: 12px;
  padding-top: 2px;
  white-space: nowrap;
  width: 25%;
}

div.prime_archive_div {
  display: inline-block;
  margin-right: 20px;
}

body, .text {
  color: #000;
  font-family: "Lucida Grande", Tahoma, Verdana, Helvetica, sans-serif;
  font-size: 12px;
  font-weight: normal;
  text-decoration: none;
}

.title {
  color: #000;
  font-family: "Lucida Grande", Tahoma, Verdana, Helvetica, sans-serif;
  font-size: 18px;
  font-weight: bold;
  text-decoration: none;
}

#app {
  display: inline-block;
  vertical-align: top;
  max-width: 850px;
}

#tbl tr th, #tbl tr td {
  background-color: #fff;
  border: 0;
}

#tbl tr th, #tbl tr td {
  padding: 2px 12px 2px 12px;
  text-align: left;
}

#tbl tr td:nth-child(1) {
  width: 28px;
}

#tbl tr td:nth-child(2) {
  width: 70px;
}

#tbl tr td:nth-child(3) {
  width: 70px;
}

#tbl tr td:nth-child(4) {
  width: 90px;
}

#tbl tr td:nth-child(5) {
  width: 130px;
}

#tbl tr td:nth-child(6) {
  width: 130px;
}

/* BEGIN logo css*/
.st0 {
  fill: #71b291;
}

.st1 {
  fill: #a4d3bb;
}

#igprimes {
  font-size: 51px;
  vertical-align: top;
  font-family: monospace;
}

#logolink {
  font-size: 8px;
  color: #000;
  text-decoration: none;
}

/* END logo css*/