h1	     { border-width:  0;
	       border-bottom: solid 0.5ex #be1527;
	       text-align:    left;
	       padding:       0.5ex 0;
	       margin:        1em 0 ;
	       font-family:   verdana, sans-serif;
	       font-size:     x-large }

h2	     { font-family:   verdana, sans-serif;
	       font-size:     medium }

dt           { font-family:   verdana, sans-serif; 
	       font-size:     medium;
	       margin-top:    0.5ex }

.quoted	     { margin:        0 1cm 0 1cm }

.command     { font-family:   monospace }

.figure      { margin:        3em 0;
	       text-align:    center }

.footer      { text-align:    left; 
	       margin-top:    1ex }

xp, xh1        { width: 640px }

.timestamp   { font-size:     x-small;
	       text-align:    left; 
	       color:         white;
               background:    #be1527 }

.nav        { background-color: #e0e0e0;
	      padding:       0.5ex}

.nav a      { display: block;
              text-decoration: none;
	      color: black;
	      padding:         0.5ex}

.nav a:hover { text-decoration: underline;}

.note       { border: thin solid #be1527;
              padding: 0.5em}

.note div   { margin-bottom: 0.5em }

.foo        { background-color: #e0e0e0 }