/* put your style rules here */
body {
  background-color: #232629;
  background-image: url('/static/stars.gif');
  color: #fcfcfc;
  padding: 16px;
}

table {
  margin: 1em;
  border: 1px solid #ea81e8;
}

th {
  background-color: #a93da9;
}

td, th {
  border: 1px solid #ea81e8;
}

.jswarning {
  background-color: rgb(170, 170, 0);
  color: rgb(252, 252, 252);
  display: none;
  padding: 10px;
  z-index: 5000;
  border: 4px #dde22d ridge;
  margin: -24px -20px 20px -24px;
}

.container {
  margin: 0 auto;
  background-color: #170b15;
  max-width: 840px;
  border: 8px #a93da9 ridge;
  padding: 4px;
}

.header-img {
  padding: 10px 20px;
  max-width: 800px;
  width: 100%;
}

@media screen and (max-width: 840px) {
  .header-img { padding: 0; }
}

a {
  color: #ea81e8;
  text-decoration: none;
}

pre {
  background-color: #4b364b !important;
  padding: 8px;
  border: 1px #ff61ff dashed;
}

img {
  max-width: 600px;
  max-height: 500px;
}

hr {
  border: 4px #971195 outset;
  border-color: #971195;
}

h1 {
  font-size: 30px;
  text-decoration: underline;
}

.header > h1 {
  font-size: 1.5em;
  text-decoration: none;
}

.warning, .danger {
  padding: 4px;
  border: 1px solid #eff0f1;
  border-radius: 5px;
}

.warning {
  background-color: #fdbc4b;
  color: #232629;
}

.danger {
  background-color: #da4453;
}