doc/user_guide/en/docinfo.html

<style>
  html, body {
  font-size: 90%;
  }

  body {
  font-family: Arial, Hevetica, sans-serif;
  }

  h1, h2, h3, h4, h5, h6 {
  font-family: Georgia, "Times New Roman", Times, serif;
  }

  a:visited {
  color: purple;
  }
</style>
Switch to ascidoctor for User Guide generation 2015-11-19 00:08:30 +00:00			`<style>`
Add PDF generation to docs target 2015-11-21 02:34:20 +00:00			`html, body {`
			`font-size: 90%;`
			`}`

Switch to ascidoctor for User Guide generation 2015-11-19 00:08:30 +00:00			`body {`
			`font-family: Arial, Hevetica, sans-serif;`
			`}`

			`h1, h2, h3, h4, h5, h6 {`
			`font-family: Georgia, "Times New Roman", Times, serif;`
			`}`

			`a:visited {`
			`color: purple;`
			`}`
			`</style>`