/* general */

body
{
  font-family : 'Comic Sans MS', Helvetica, sans-serif;
  font-size : 10pt;
}

h1
{
  font-size : 200%;
  font-weight : bold;
}

h2
{
  font-size : 150%;
  font-weight : bold;
}

h3
{
  font-size : 125%;
  font-weight : bold;
}

h1, h2, h3, h4, h5, h6
{
  clear : both;
}

ul, ol
{
  list-style-position : outside;
  margin-left : 2em;
}

li
{
  margin-top : 0.5em;
  margin-bottom : 0.5em;
}

li li
{
  margin-top : 0;
  margin-bottom : 0;
}

em
{
  font-weight : bold;
  font-style : normal;
}

.separator
{
  clear : both;
  margin : 0;
  padding : 0;
  height : 1px;
}

.left
{
  float : left;
  margin : 1em 1em 1em 0;
  clear : left;
}

.right
{
  float : right;
  margin : 1em 0 1em 1em;
  clear : right;
}

a, .clickable
{
  text-decoration : underline;
  color : inherit;
  cursor : pointer;
}

a:hover, .clickable:hover
{
  color : blue;
}

/* main */

#main p
{
  margin-top : 0.5em;
  margin-bottom : 0.5em;
  text-align : justify;
}

/* side */

#side h1
{
  font-size : 125%;
}

/* side/navigation */

#navigation ul
{
  list-style-position : outside;
  margin-left : 20px;
}

#navigation ul, #navigation li#current li
{
  list-style-type : circle;
  font-weight : normal;
}

#navigation li#current
{
  list-style-type : disc;
  font-weight : bold;
}

#navigation a
{
  color : inherit;
  text-decoration : none;
}

#navigation a:hover
{
  text-decoration : underline;
}

/* side/movie */

p.imgmovie
{
  text-align : center;
  margin-top : 1em;
}

/* header */

#header
{
  text-align : center;
}

/* footer */

#footer
{
  text-align : center;
  font-style : italic;
}

/* form */

table.form
{
  border-collapse : collapse;
  margin : 2em;
}

table.form input[type="text"]
{
  width : 250px;
}

td.key, td.value
{
  padding-top : 0.25em;
  padding-bottom : 0.25em;
}

td.value
{
  padding-left : 1em;
}

/* miscellaneous */

.extra
{
  font-style : italic;
}

#choosebackground p
{
  font-weight : bold;
  text-align : right;
}

.withscript
{
  display : none;
}

#showdocent p, #hidedocent p, #switch p
{
  text-align : right;
  font-style : italic;
}