.pgpkey {
	font-family: monospace;
	white-space: pre;
}
.terminalinput {
	font-family: monospace;
	white-space: pre;
}
.shellinput {
	font-family: monospace;
	white-space: pre;
}
.shellinput:before {
	content: "% ";
}
.terminaloutput {
	font-family: monospace;
	white-space: pre;
}
.commandname {
	font-family: monospace;
}
.screenshot,.image {
	text-align: center;
	font-style: italic; /*for captions*/
}
.importantbox {
	border-width: 2pt;
	border-color: black;
	border-style: solid;
	padding: 1em;
}
.hash {
	font-family: monospace;
}
.placeholder {
	font-style: italic;
}