/* first style sheet */

/*
body  {
      background-color:  rgb(255,255,230);
      color:             black ;
      padding-left:      5px ;
      }



a:hover    {
           color:            blue;
           background-color: silver;
           }
*/
p.return {
       margin-top:    0;
       margin-bottom: 2px;
       color:         black;
       }


p.home  {
      margin-top:    2px;
      margin-bottom: 2px;
      background-color:  rgb(255,255,180);
      color:             black;
      font-weight:        bold;
      font-size:         x-large;
      }

p.home2  {
      margin-top:    2px;
      margin-bottom: 2px;
      background-color:  rgb(255,255,200);
      color:             black;
      font-weight:       bold;
      }

p.homef  {
      background-color:  #FFD700;
      color:             black;
      font-weight:        bold;
      font-size:         x-large;
      }

p.homef2  {
      background-color:  rgb(255,255,160);
      color:             black;
      font-weight:       bold;
      }

p.footer {
      color:             black;
      font-style:        italic;
      font-size:         small;
      }

ul.footer {
      color:             black;
      font-style:        italic;
      font-size:         small;
      }
p.exportSE   { font-family: "Courier New", NewCourier, Courier, monospace; }

.code   { font-family: "Courier New", NewCourier, Courier, monospace; }