/*     A user stylesheet         */
    
    body     { font-size: 12pt;
               color: black;
               background-color: AliceBlue}