A:hover { color:#FF0000; }
  A:link { color:#333399; }
  A:visited { color: #6666CC; }

  .bodyStyle {background-color: #ffffff;}

  .mediumBoldFont {font-family: Arial, sans-serif; font-size: 11px; font-weight: bold;}
  .notHot {COLOR: lightgrey; text-decoration: none;}
  .hot {COLOR: white; } 
  .noDec {text-decoration: none; color: #993377;}
  A.noDec:hover {color:blue; text-decoration:underline;}

  .smallIndent { margin-left: 6px;}
  .indent {margin-left: 1em;}
  .indentTopLeft {margin-left: 1em; margin-top: 1em;}
  .largeIndent {margin-left: 3em;}
  .allSmallIndent { padding: 4px;}

  .allIndent { padding-left: 1em; padding-top: 1em; padding-right: 1em; padding-bottom: 1em;}
  .deffont {font-family: Arial, sans-serif;}

  .boxHeading {margin-left:4px; font-weight:bold; color: #ffffff }
  .boxNonHeading {font-size:smaller; font-weight:bold; color: #ffffff }
  .box {background-color: #003399;}


  .boxColoredHeading {padding-left:4px; font-size: 110%; font-weight: bold; color: #ffffff ;
		margin: 12px 0px 8px 0px;
		background-color: #330066 ; reallywas:#336699; was: #333399 ; drkblue: #003399;  greenyblue: #156c8b ; medblue:#159ccb ; burgandy:#993377; }

  .larger {font-size: larger;}
  .smaller {font-size: smaller;}
  .medium {font-size: medium;}
  .smallest {font-size: xx-small;}
  .colored {color: #2277BB;}
  .boldColored {font-weight: bold; color: #2277BB;}
  .altColored {color: #990066;}
  .altBoldColored {font-weight: bold; color: #990066;}

  .smallBold {font-size: smaller; font-weight: bold; }

  .smallBoldColored {font-size: 80%; font-weight: bold; color: #2277BB;}

  .majorHeading {font-size: 150%; font-weight: bold; color: #993377;}
  .majorHeadingAlternateColor {font-size: 150%; font-weight: bold; color: #2277BB;}
  .mediumHeading {font-size: 140%; font-weight: bold; color: #993377;}

  .minorHeading {font-size: 110%; font-weight: bold; color: #000000;}
  .minorColoredHeading {font-size: 110%; font-weight: bold; color: #993377;}
  .minorHeadingAlternateColor {font-size: 110%; font-weight: bold; color: #2277BB;}

  .importantNote {padding: 1em; font-size: 110%; font-weight: bold; color: #ff0000; background-color: #ffeeff;}

  #boxLink { color: #ffffff;}

  #boxLink  A:link { color: #ffff00 }

  .listHyperlink {color: #993377;}
  .emphasizedLink { font-size: 110%; font-weight: bold; color: #993377;}
  .smallerNote {font-size: smaller; color: #2277BB;}

  .linkNavigationBar {background-color: #eeeeff; font-size: x-small; text-align:right;}
  .linkNavigationBackground {background-color: #eeeeff; }

  .xlightBackground {background-color:  #b3d5f1; }
  .junk { z:#336699 ; y:#a2ccee; x:#ddeeff;}
  .lightBackground2 {background-color: #ffddee; }
  .xlightBackground3 {background-color: #ffffcc; }
  .lightBackground4 {background-color: #ffeeff; }
  .xlightBackground5 {background-color: #e8f8ff; }
  .xlightBackground6 {background-color: #eeffee; }
  .lightBackground7 {background-color: #ddeeff; }

  .lightBackground {background-color: #ffffff;}
  .xlightBackground2 {background-color: #ffffff; }
  .lightBackground3 {background-color: #ffffff; }
  .xlightBackground4 {background-color: #ffffff; }
  .lightBackground5 {background-color: #ffffff; }
  .lightBackground6 {background-color: #ffffff; }

  .revIndent {text-indent=-1em; } 
  .indentRevIndent {text-indent=-1em; margin-left: 1em;} 
  .bottomOnlyMargin { margin: 0px 0px 4px 0px; } 
  
  .halfSpaceMargin { margin: 0.5em 0em; }

  .prompt {  font-weight: bold;  }
  .buttddon (width: 6 em ;}

BUTTON { width: 6 em ; }