/**
 * Modify this stylesheet to change the DocBook -> { HTML | chunk } output.
 */

div.note h3.title { margin-bottom : 0.8mm }
div.caution h3.title { margin-bottom : 0.8mm }
div.important h3.title { margin-bottom : 0.8mm }
div.tip h3.title { margin-bottom : 0.8mm }
div.warning h3.title { margin-bottom : 0.8mm }

div.literallayout { margin-top : 0mm; margin-bottom : 0mm }

tt.computeroutput { margin-top : 5mm; margin-bottom : 5mm }

hr.computeroutput-start { margin-bottom : 0mm }
hr.computeroutput-end { margin-top : 0mm }

div.author { margin-bottom : 5mm }
h3.author { margin-top : 0mm; margin-bottom : 0mm }
div.affiliation { margin-top : 0mm; margin-bottom : 0mm }
div.address { margin-top : 0mm; margin-bottom : 0mm }
div.address p { margin-top : 0mm; margin-bottom : 0mm }