1*4dc78e53SAndroid Build Coastguard Worker/* Overrides for manpage documents */ 2*4dc78e53SAndroid Build Coastguard Workerh1 { 3*4dc78e53SAndroid Build Coastguard Worker padding-top: 0.5em; 4*4dc78e53SAndroid Build Coastguard Worker padding-bottom: 0.5em; 5*4dc78e53SAndroid Build Coastguard Worker border-top: 2px solid silver; 6*4dc78e53SAndroid Build Coastguard Worker border-bottom: 2px solid silver; 7*4dc78e53SAndroid Build Coastguard Worker} 8*4dc78e53SAndroid Build Coastguard Workerh2 { 9*4dc78e53SAndroid Build Coastguard Worker border-style: none; 10*4dc78e53SAndroid Build Coastguard Worker} 11*4dc78e53SAndroid Build Coastguard Workerdiv.sectionbody { 12*4dc78e53SAndroid Build Coastguard Worker margin-left: 3em; 13*4dc78e53SAndroid Build Coastguard Worker} 14*4dc78e53SAndroid Build Coastguard Worker 15*4dc78e53SAndroid Build Coastguard Worker@media print { 16*4dc78e53SAndroid Build Coastguard Worker div#toc { display: none; } 17*4dc78e53SAndroid Build Coastguard Worker} 18*4dc78e53SAndroid Build Coastguard Worker 19