nominal.css
changeset 12 486ac2d8a819
equal deleted inserted replaced
11:a1add930f3a1 12:486ac2d8a819
       
     1 .codedisplay {
       
     2   font-family:  Courier New, Courier, monospace;
       
     3   margin-left: 5%; 
       
     4   margin-right: 5%;
       
     5   padding: 10px;
       
     6   text-style: center;
       
     7   white-space: pre;
       
     8   color: black;
       
     9   background-color: rgb(210, 210, 210);
       
    10 }
       
    11 
       
    12 code {
       
    13   font-family:  Courier New, Courier, monospace;
       
    14   font-size: 120%
       
    15   white-space: nowrap; /* pre would be better, but it doesn't work with IE */
       
    16 }
       
    17 
       
    18 .second { color: #000; background: #fff; }
       
    19 .first { color: #000; background: #edf3fe; }
       
    20 
       
    21