templates/static/style-paper.css
changeset 7407 7b2a77b20964
parent 7394 03b60f2f90bf
child 7408 f031a12dfc31
equal deleted inserted replaced
7406:ee8af8a4d905 7407:7b2a77b20964
   100   font-weight: normal;
   100   font-weight: normal;
   101   margin-left: .5em;
   101   margin-left: .5em;
   102   vertical-align: baseline;
   102   vertical-align: baseline;
   103 }
   103 }
   104 
   104 
       
   105 .branchhead {
       
   106   color: #000;
       
   107   font-size: 80%;
       
   108   font-weight: normal;
       
   109   margin-left: .5em;
       
   110   vertical-align: baseline;
       
   111 }
       
   112 
       
   113 .branchname {
       
   114   color: #000;
       
   115   font-size: 60%; 
       
   116   font-weight: normal;
       
   117   margin-left: .5em;
       
   118   vertical-align: baseline;
       
   119 }
       
   120 
   105 /* Common */
   121 /* Common */
   106 pre { margin: 0; }
   122 pre { margin: 0; }
   107 
   123 
   108 h2 { font-size: 120%; border-bottom: 1px solid #999; }
   124 h2 { font-size: 120%; border-bottom: 1px solid #999; }
   109 h2 a { color: #000; }
   125 h2 a { color: #000; }