
PRE {
     /* font-family: mono-space;
     font-color: #333333;
     font-weight: 100;
     font-size: 9pt; */
     white-space: pre;
     background-color: #eeeeee;
     padding: 5pt;
     width: 90%;
     border-style: solid;
     border-width: 2pt;
     border-color: #bebebe;
    }

