body {
        font-family: Palatino, Arial, Verdana, Lucida, sans-serif;
}

p, ul, a    {
        font-size: 12pt;
}

h1   {
        font-size: 14pt;
}
h2   {
        font-size: 12pt;
}
a.nav      {
        background-repeat: no-repeat;
        color: black;
        display: block;
        font-size: 9pt;
        font-weight: bold;
        margin-left: 10;
        margin-bottom: 5;
        text-decoration: none;
}
div.indent_level_x      {
        margin-left: 15;
        margin-right: 5; 
}
div.nav_level_0 a {
        background-image: url(/media/rollover/blank_square_10x16.gif);
}
div.nav_level_0 a:hover,
div.nav_level_0_select a      {
        background-image: url(/media/rollover/red_square_10x16.gif);
}
div.nav_level_1 a {
        background-image: url(/media/rollover/blank_square_10x16.gif);
        margin-left: 24;
}
div.nav_level_1 a:hover, 
div.nav_level_1_select a    {
        background-image: url(/media/rollover/orange_square_10x16.gif);
        margin-left: 24;
}
.red-link       {
       color:  red;      
}
/*
  hr tags with class=" " and a height parameter in the class
  will not format the horizontal rule the same as using a size="" in the tag.
  size="", in the tag, will create a line of a given thickness, and all one color.
  It will use the color from the tag or the stylesheet class.
  height="", from the style sheet, will produce a thin outline box.
  The color of the interior of the box is set using background-color.
  The color of the box outline can only be set using color inside the hr tag.
  The color parameter inside the stylesheet has no effect on the outline box.

  Firefox mozzilla was the browser.
*/
hr.euripides    {
        background-color: #b80004;
        color: #b80004;
        height:  5px;
        margin: 0px;
        padding: 0px;
}
div.euripides_1       {
       font-family: Palatino, Arial, Verdana, Lucida, sans-serif;
       font-size: 9pt;
       font-weight: bold;
       font-style: italic;
       margin-right:  52px;
       margin-bottom:  0px;
       padding-bottom:  0px;
       text-align: right;
}
div.euripides_2       {
       font-family: Palatino, Arial, Verdana, Lucida, sans-serif;
       font-size: 9pt;
       font-weight: bold;
       margin-right:  28;
       text-align: right;
}