/* Set default parameters for document: font size, family and

   body width. We shall also set the default colors and styles

   for hypertext anchors, and the default text color.

*/

DIV.detailed-news { margin-left:   25%;

                    margin-top:    0;

                    margin-bottom: 0;

                    padding:       0.5em;

                    margin-right:  0%;

                    font-family:   Garamond, "Times New Roman", sans-serif;

                    font-size:     0.75em;  }