/* Shared stylesheet for release-notes pages made from or in compliance with release-notes.template.B */
/* Initial creation: mg */
/* Maintainers (from most to least recent):
	mg */

  body
  {
        font-family: "Serif, Times New Roman";
        font-style: normal;
        text-indent: 0in;
        font-weight: normal;
        font-variant: normal;
        color: #000000;
        text-decoration: none;
        text-align: left;
        font-size: medium;
        widows: 2;
        font-stretch: normal;
        background-color: #ffffff;
  }

  @media print
  {
        body
        {
                padding-top: 1in; padding-bottom: 1in;
                padding-left: 1in; padding-right: 1in;
        }
  }

  p, .Normal
  {
        font-family: "Serif, Times New Roman";
        font-style: normal;
        text-indent: 0in;
        margin: 0.5ex 0em;
        font-weight: normal;
        font-variant: normal;
        color: #000000;
        text-decoration: none;
        text-align: left;
        font-size: medium;
        widows: 2;
        font-stretch: normal;
  }
  p.c1
  {
  		text-align: center;
  }
  li
  {
  		margin: 0.5ex 1em;
  }
  .tier1
  {
                font-weight: bold; 
                font-size: x-large;
  }
  .tier2
  {
                font-weight: bold; 
                font-size: large; 
  }
  .tier3
  {
                font-size: medium;
  }