/* 
 * Default style sheet for Premek Brada <brada@kiv.zcu.cz>
 * Revision: $Id: default.css,v 1.2 1998/11/02 17:31:59 brada Exp brada $
 */

  
 /* global settings */
 BODY { 
   color: black; 
   background-color: white;
   background-image: none;
   font-family: "Trebuchet MS", "Lucida Grande", "Lucida Sans Unicode", Verdana, Arial, sans-serif; 
/*   font-size: 90%;*/
 }

 DL DT { font-weight: bold; margin-top: 1ex; }

 /* meta-elements as used but missing in HTML */
 
 VAR.term { font-style: italic; }	/* override NS4.0 */
 VAR.termdef { font-style: italic; font-weight: bold; }
 P.note { margin-left: 2em; font-size: 80%; }
 P.warning { text-align: center; font-weight: bold; }
 STRONG.inline-heading { font-style: italic; }

 /* external links may be shown differently */
 A { color: navy; }
 A:visited { color: black; }
 A:hover { color: blue; }
 A.external { color: blue; }
 A.external:visited { color: blue; }

 th, td {  padding: 2px; }