body {
  max-width: 800px;
  margin: 0 auto;
  font-size: 1.2em;
  font-family: 'Linux Libertine', Palatino, 'Palatino Linotype', 'Book Antiqua', Georgia, 'Times New Roman', serif;
}

h1, h2, h3, h4, h5 {
  font-family: sans-serif;
  margin: 1.2em 0 0.6em 0;
}

p {
  line-height: 1.5em;
  margin: 1.6em 0;
}

code {
  /* borrowed from Dive Into HTML5 */
  font: normal normal normal medium/1.2 Consolas, 'Andale Mono', Monaco, 'Liberation Mono', 'Bitstream Vera Sans Mono', 'DejaVu Sans Mono', monospace;
}

table { font-size: 12px; font-family: sans-serif; }

th { background: #CCCCCC; text-align: left;}

code {color: #000033;}

.url { color: #000099; }
.footnote { color: #333333; }

div.author
{
	background: #ffaaaa;
	border-style: solid;
	border-width: thin;
	padding: 2px;
	width: 25%;
}

div.editor
{
	background: #aaaaff;
	border-style: solid;
	border-width: thin;
	padding: 2px;
	width: 25%;
}

div.hack > p:first-child
{
	font-style: italic;
	font-weight: bold;
	width: 50%;
	margin-left: 5%;
}

div.note
{
	border-width: thin;
	border-style: solid;
}

div.caution
{
	border-width: thin;
	border-style: solid;
	background: #ff6666;
}

div.production
{
	background: #000000;
	color: #ffffff;
	text-align: center;
}

.code_command
{
	font-weight: bold;
	text-decoration: underline;
}