.authorpicture {
	float: left;
	clear: left;
	border: 1px solid black;
	margin-right: 20px;
	margin-bottom: 20px;
}

.rightpanel #technorati {
	margin: 2px;
	font-family: Times New Roman,Times,serif;
	font-size: 10pt;
	padding-right: 10px;
	padding-bottom: 10px;
	padding-left: 20px;
	color: rgb(0, 0, 0);
}

.example {
	background-color: #eee;
	border: 3px double #444;
	padding: 10px 20px;
	font-family: "Courier New", Courier, monospace;
	font-size: 10pt;
}

.more-prompt {
	margin-bottom: 1em;
}

.prompt {
	font-style: italic;
}

/* highlight */
pre code[class]:after {
  content: attr(class);
  display: block; text-align: right;
  font-size: smaller;
  color: #CCC; background: white;
  border-top: solid 1px;
  padding-top: 0.5em;
}
pre code {
  display: block;
}