/* General */
body
{
  font-family: Arial;
}

h1, h2, h3, h4
{
  color: #4f81bd;
}

h2
{
  font-size: medium;
}

/* Paragraph options */

.centered
{
  text-align: center;
}

.justified
{
  text-align: justify;
}

p.info
{
  font-color: #4f81bd;
  font-weight: bold;
}

/* Code snippets */

p.code
{
  font-family: Courier New, sans-serif;
}

span.marker
{
  background-color: #ffff78;
  font-weight: bold;
}