doc/style.css
changeset 12782 6dc3d3cd729b
parent 9836 916cf1e7b39f
child 19023 86531a7038ed
equal deleted inserted replaced
12781:0d09991f91ee 12782:6dc3d3cd729b
   297 }
   297 }
   298 
   298 
   299 ul.auto-toc {
   299 ul.auto-toc {
   300     list-style-type: none;
   300     list-style-type: none;
   301 }
   301 }
       
   302 
       
   303 div.contents.local {
       
   304     -moz-column-width: 10em;
       
   305     -moz-column-gap: 1em;
       
   306     
       
   307     -webkit-column-width: 10em;
       
   308     -webkit-column-gap: 1em;
       
   309 }