/* tip-24.4.css */
tippage    { display: block;           font-size: medium;
             background-color: white;  color: navy;
             font-family: sans-serif; }
accesstip  { display: block;           margin: 1em; 
             padding: 1em;             border: 2px solid black; 
             background-color: #CCCCFF; }
headline   { display: block;           margin-bottom: 0.75em;
             font-size: x-large;       font-weight: bold; 
             font-family: Verdana, sans-serif; }
author     { display: block;           margin-bottom: 0.75em;
             font-size: large;         font-weight: bold; }
name       { display: inline;          margin-right: 0.5em; }
email      { display: inline;          margin-right: 0.5em; }
tipbody    { display: block;           border: 2px solid white; 
             padding: 0.5em;           margin-bottom: 0.75em; }
para       { display: block;           margin-bottom: 0.65em; 
             margin-top: 0.65em; }
para[paratype="note"]
           { border: 1px solid black;  padding: 1em; }
code       { display: inline;          font-family: monospace; 
             color: black;             font-weight: bold; }
tipexample { display: block;           padding: 0.5em;
             border: 2px solid white;  margin-bottom: 0.75em; 
             font-family: monospace;   white-space: pre; }

