body   { font-family: serif; 
         margin: 10px; 
         padding: 10px; }

a:link    { color: #000099; }
a:active  { color: #0000ff; }
a:visited { color: #990099; }
a:hover   { color: #0000ff; }


h1        { text-transform: none;
            font-size: 200%; 
            clear: both; }

h2        { text-transform: none;
            font-size: 150%;
            clear: both; }

hr        { clear: both; }

p         { text-indent:  1em; 
            text-align: justify; }


#software      { margin: 0 20px 0 0;
                 border: 4px #ffffff ridge;
                 padding:  0;
                 text-align: center;
                 float: right;
                 clear: none;
                 display: inline;
                 background-color: #dddddd; }

#software th   { color: #000000; }

#software div  { height:20px;
                 width: 20em; }
                 


#screencap1    { float:right;
                 margin: 0.2em 2em 0.5em 1em;
                 vertical-align: baseline; }

#screencap2    { float:left;
                 margin: 0.2em 1em 0.2em 1em; }