styles/theme3.css
changeset 3 1b5eb968d2c4
parent 1 1ae1a79094fa
equal deleted inserted replaced
2:fdcab4072085 3:1b5eb968d2c4
    86     border-left: 1px solid #999;
    86     border-left: 1px solid #999;
    87     padding-left: 5px;
    87     padding-left: 5px;
    88     margin-bottom: 3px;
    88     margin-bottom: 3px;
    89 }
    89 }
    90 
    90 
       
    91 #content .comment_pre
       
    92 {  
       
    93     font-style: normal;
       
    94     font-family: courier;
       
    95     white-space: pre;
       
    96 }
       
    97 
    91 #content
    98 #content
    92 {
    99 {
    93     position: absolute;
   100     position: absolute;
    94     left: 15%;
   101     left: 15%;
    95     width: 60%;
   102     width: 60%;