/* This style sheet sets up some simple conventions for web pages 
in a house style. It relies on a base.css file also being called, which
sets up neutral conventions.  The HTML would call both style
sheets.  ....  latest update JRG Feb 2000 */

BODY {
  font-family: "palatino", "times", serif;
  font-size: 11pt;
  background-color:   #EFE;
}

/* Heading sizes - H1 can be smaller than the others because
it's normally obvious already, being normally only used at the
top of a document and is centred in this style sheet */
H1 {
        font-size: 100%;  }
H2 {
        font-size: 110%;  }
H3 {
        font-size: 100%;  }
H4 {
        font-size: 80%;  }

/* Heading margins */
H1 {
        margin-top:     0.1em;
        margin-bottom:  0.2em;  }
H2 {
        margin-top:     0.2em;
        margin-bottom:  0.1em;  }
H3 {
        margin-top:     0.2em;
        margin-bottom:  0.1em;  }
H4 {
        margin-top:     0.15em;
        margin-bottom:  0.1em;  }

/* Heading alignment */
H1 {
        text-align:  center;  }