/*
 This cascading stylesheet is for use with the EASE pages by MRA.
 Created: 34/07/03
*/


/* General attributes for all pages */

h1, h2, h3, p, table, li {
  font-family: arial, 'sans serif';
  color: black;
}

body {
  text-align: left;
  font-size: 90%;
  background: white;
  background-image: url("http://www.geocities.com/guavalanguage/gfx/ease_logo_wmark_big.gif"); 
  background-repeat: no-repeat;
  background-attachment: fixed;
  background-position: center;
  margin-left: 10%;
  margin-right: 10%;
}

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

ul, li { 
 /* list-style-image: url("gfx/bullet.gif"); */
  list-style-position: inside;
  marker-offset: 4;
}
li.normal { text-align: left; }

p.head1, p.head2, p.head3, table.head1, table.head2 {
  text-align: center;
  text-shadow: 2;
}


/* Paragraph and header properties */

p.head1, p.head2 { text-decoration: underline; }
p.head1 {
  font-size: 150%;
  font-weight: bold;
  font-stretch: wider;
}
p.head2 {
  font-size: 125%;
  font-style: italic;
}
p.spacer-small { font-size: 50%; }
p.spacer-large { font-size: 75%; }

/* Table properties */

td.head1 {
  font-size: 150%;
  font-weight: bold;
  font-stretch: wider;
  padding: 4px;
}
td.head2 {
  font-size: 140%;
  font-style: italic;
}
table.background { border-style: none; }
table.info {
  color: black;
  background: #EEEEFF;
  font-size: 100%;
  text-align: center;
  border-style: solid;
  border-color: #CCCCFF;
  border-width: 2px;
}
table.info { width: 90%; }