body {  background-color : white;
        margin : 0;        
}

pre { font-family: "Courier New", Courier, monospace;
      font-size: normal }

.larger { font-size: larger }
.smaller { font-size: smaller }