/* Datei: style.css
 */
 
/* Black frame, centered text, 5 pixel distance from top
 */
 #header,
 #nav,
 #footer { 
   text-align: center;
   border: 1px solid black;
   margin-top: 5px;
   padding: 5px;
   font-family: Verdana, Arial;
 }
 
 /* Font size to 140%; background color to gray
  */
 #header,
 #footer {
   font-size: 140%;
   background: #f5f5f5;
 }
 
 /* 20 pixels distance from all other elements
  */
 #main { margin: 20px; }
 

/* Gray text
 */
 h1,
 abbr {
   color: gray;
   font-family: Verdana, Arial;
 }
 
 /* Font family for all p elements, irrespective of the class.
  */
 p { font-family: Verdana, Arial; }
 
 /* Style for a note
  */
  .note {
   margin-left: 50px;
   border-left: 10px solid green;
   padding-left: 5px;
 }
 
 
 /* Style for a warning
  */
  .warning {
   border-left: 10px solid red;
   border-top: 2px solid red;
   border-right: 10px solid red;
   border-bottom: 2px solid red;
   text-align: center;
 }
 
 
 /* Font size to 140%; background color to gray
  */
 .headfoot {
   font-size: 140%;
   background: #f5f5f5;
 }
 
 /* Font size to 130% 
  */
 .bigfont { font-size: 130%; }