static/style.css
changeset 53 158854761213
parent 28 b68145b5ce24
equal deleted inserted replaced
52:ee1e0491b4a0 53:158854761213
   140 a:hover {
   140 a:hover {
   141     text-decoration: underline;
   141     text-decoration: underline;
   142 }
   142 }
   143 
   143 
   144 h1 {
   144 h1 {
   145     font-size: x-large;
   145     font-size: xx-large;
       
   146 
       
   147     text-align: center;
   146 }
   148 }
   147 
   149 
   148 h2 {
   150 h2 {
   149     font-size: large;
   151     font-size: large;
       
   152     
       
   153     margin-left: 0px;
       
   154     padding: 5px;
       
   155     width: 100%;
       
   156 
       
   157     background-color: #e5e5e5;
       
   158     
       
   159     border: 1px dashed #c5c5c5;
       
   160 }
       
   161 
       
   162 h3 {
       
   163     font-size: medium;
       
   164     font-style: italic;
   150 }
   165 }
   151 
   166 
   152 div#content p {
   167 div#content p {
   153     margin-left: 0.5em;
   168     margin-left: 0.5em;
   154 }
   169 }
   161     padding-right: 13px;
   176     padding-right: 13px;
   162     
   177     
   163     background: transparent url(/static/link.png) no-repeat center right;
   178     background: transparent url(/static/link.png) no-repeat center right;
   164 }
   179 }
   165 
   180 
       
   181 dt {
       
   182     font-size: large;
       
   183 }
       
   184 
       
   185 dd {
       
   186     margin: 1em auto 1em 5em;
       
   187 }
       
   188 
       
   189 code {
       
   190     display: block;
       
   191     margin: 8px;
       
   192     padding: 8px;
       
   193 
       
   194     border: 1px dotted #b5b5b5;
       
   195 }