/* Fancy CSS that can optionally be used for the wiki. */

body
{
  padding: 10px 10px 0;
  font-family: "Verdana", Sans-serif;
  color: #222222;
  margin: auto;
  max-width: 960px;
  background-color: #ffe;
  text-align: justify;
}

p
{
  margin: 15px 0;
}

p:first-letter
{
  margin-left: 18px;
}

em, i
{
  color: #777;
}

hr
{
  margin: 20px 0 20px;
}

h1, h2, h3
{
  margin: 30px 0 10px;
}

ul, ol
{
  padding: 0;
  margin: 4px 30px;
}

ul
{
  list-style: square;
}

li
{
  margin: 3px 0;
}

pre, code
{
  font-family: "Lucida Console", monospace;
  background-color: #fec;
  font-size: 12px;
}

pre
{
  padding: 3px;
  border: 2px dotted #888;
}

table
{
  border-collapse: collapse;
}

table td, th
{
  border: 1px solid black;
  padding: 5px 7px;
}

a
{
  color: #1010ff;
  border-bottom: 1px dotted;
  text-decoration: none;
}

.dead
{
  color: #ff2222;
}