view docs/manual.css @ 554:18504c41b0be

move debug() to Io and remove Debug module; Io.print() now doesn't print newline if there is nothing to be printed;
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 18 Jun 2015 03:30:18 -0600
parents b5a926c481a5
children
line wrap: on
line source

h3 code {
	font-family: inherit ;
	font-size: inherit ;
}

pre, code {
	font-size: 12pt ;
}

span.apii {
	float: right ;
	font-family: inherit ;
	font-style: normal ;
	font-size: small ;
	color: gray ;
}

h1:not(.main) {
	font-style: normal ;
	padding-top: 0.4em ;
	padding-bottom: 0.4em ;
	padding-left: 16px ;
	margin-left: -16px ;
	background-color: #D0D0FF ;
	border-radius: 8px ;
	border: solid #000080 1px ;
}