/* --------------------------------------------------------------------
   Entire document
   -------------------------------------------------------------------- */

body
{
  font-size: small;
  font-family: sans-serif;
  color: black;
  background-color: white;
  line-height: 200%
}

/* --------------------------------------------------------------------
   Heading styles
   -------------------------------------------------------------------- */

h1
{
  background-color: #006600;
  background-image: url(red-texture.jpeg);
  text-align: center;
  color: white;
  padding: 0.5em;
}

h2
{
  font-size: large;
  width: 50%;
/*  background-image: url(red-texture.jpeg);
  color: white; 
  padding: 0.2em; 
  text-align: left;*/
}

/* --------------------------------------------------------------------
   Header of page
   -------------------------------------------------------------------- */

div.header
{
  background-image: url(red-texture.jpeg);
  color: white;
  padding: 0.5em;
  text-align: center;
  border-width: thick;
  border-style: solid;
}

/* (This is different to using the background from THEAD as in that
   case it is the TDs whose background is set (and they have margins)
   whereas here it is the whole DIV.) */

/* --------------------------------------------------------------------
   A floating box
   -------------------------------------------------------------------- */

div.floatingbox
{
  background-color: #dddddd;
  color: black;
  padding: 1em;
  float: right;
  margin: 1em;
  padding: 1em;
}

div.figureleft
{
  float: left;
  margin-right: 2em;
  padding: 1em;
}

div.figureright
{
  float: right;
  margin: 1em;
  padding: 1em;
}

div.headingimage
{
/*  float: left;
  text-align: center;*/
  margin: 0em;
  padding: 0em;
}

div.contentspanel
{
/*  background-image: url(red-texture.jpeg); */
  background-color: #dddddd; 
  color: black;
  padding-left: 1em;
  padding-right: 1em;
  float: left;
  margin: 0em;
  margin-left: 0em;
  margin-right: 1em;
/*  border-width: thin;
  border-style: solid; */
}

/* --------------------------------------------------------------------
   A generic links panel
   -------------------------------------------------------------------- */

a:link.linkspanel, 
a:active.linkspanel, 
a:visited.linkspanel
{
  color: white; 
  font-weight : bold; 
  text-decoration: none;
}

a:hover.linkspanel
{
  color: silver;
  font-weight : bold;
  text-decoration: none
}

table.linkspanel
{
  text-align: center;
  margin-left: 0;
  margin-right: 0;
  width: 100%;
}

/* --------------------------------------------------------------------
   All generic tables
   -------------------------------------------------------------------- */

table.generictable
{
  margin-left: 2em;
  margin-right: auto;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  font-size: small;
}

thead
{
  font-weight: bold; 
  color: white; 
  background-image:  url(red-texture.jpeg);
  text-align: center;
}

th,td
{
  text-align: left;
  vertical-align: top;
  padding: 0.5em
}

/* --------------------------------------------------------------------
   Images
   -------------------------------------------------------------------- */

img
{
  border-style: none;
}

/* --------------------------------------------------------------------
   Links
   -------------------------------------------------------------------- */

a:link     {color: #006600;  }
a:active   {color: #006600;  }
a:visited  {color: #00dd00;  }
a:hover    {color: #555555;  }

/* --------------------------------------------------------------------
   A summary of the page
   -------------------------------------------------------------------- */

div.abstract
{
  font-style: italic;
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: 20%;
  margin-right: 20%;
  text-align: center;
}

/* --------------------------------------------------------------------
   Web standards conformance icons
   -------------------------------------------------------------------- */

div.conformanceicons
{
  float: right;
}
/* --------------------------------------------------------------------
   Commands to be typed
   -------------------------------------------------------------------- */

div.commands
{
/*  background-color: #dddddd;*/
  background-color: #eeffdd;
  color: black;
  margin-left: 2em;
  margin-right: 2em;
  margin-top: 1em;
  margin-bottom: 1em;
  padding: 1em;
/*  border-width: thin;
  border-style: solid; */
}

ul.contents
{
  list-style-type: none;
  list-style-position: inside;
  margin-left: 0;padding-left: 0;
}

hr.endofpage
{
  clear: both
}