.pgpkey {
	font-family: "Luxi Mono", monospace;
	white-space: pre;
}
.shell,
.shellinput {
	font-family: "Luxi Mono", monospace;
	white-space: pre;
}
.shellinput:before {
	content: "% ";
}
.terminalinput,
.terminaloutput {
	font-family: "Luxi Mono", monospace;
	white-space: pre;
}
.commandname {
	font-family: "Luxi Mono", monospace;
}
img {
	border: 0pt;
}
.screenshot,.image,.screencast,.media {
	text-align: center;
	font-style: italic; /*for captions*/
}
.screenshot.iphone img {
	border: 1pt #333;
}
.importantbox {
	border-width: 2pt;
	border-color: black;
	border-style: solid;
	padding: 1em;
}
.hash {
	font-family: "Luxi Mono", monospace;
}
.placeholder {
	font-style: italic;
}
.highlight {
	color: black;
	background-color: #ff6;
	border: 1pt solid yellow;
}
.strike {
	text-decoration: line-through;
}
.footnotes {
	font-size: 80%;
}
.footnotebullet {
	vertical-align: super;
}

hr {
	border: 0;
	border-top: 1pt solid black;
}

#downloads .latest {
	font-weight: bold;
}

.sidebar {
	padding: 0.25cm;
	border: 1pt solid gray;
	background-color: #eee;
}
.sidebar-icon {
	float: left;
}
.sidebar-content {
	margin-left: 1.75cm;
}

.inline-bug-icon {
	float: left;
}
.inline-bug-content {
	margin-left: 1.75cm;
}

.file-sidebar {
	/*Overlap consecutive file sidebars.*/
	margin-top: -1pt;
	margin-bottom: -1pt;

	padding: 0.125cm 0.25cm;
	padding-top: 0;
	border: 1pt solid gray;
	background-color: #eee;
}
.file-sidebar .header {
	margin: 0.25cm 0;
	padding: 0.125cm;
	background-color: #ddd;
}

.quickdownload {
	float: right;
	padding-top: 0;
	margin-left: 2.5mm;
	border: 2pt solid #d6d6d6;
	background-color: #eee;
	font-size: 85%;
	text-align: center;
}
.quickdownload h3 {
	background-color: #ddd;
	margin-top: 0;
	padding: 1mm;
}

span[lang] {
	font-style: italic;
}

q {
	font-weight: bold;
}
ins {
	text-decoration: none;
	font-style: italic;
}
dfn {
	font-weight: bold;
}

p.map {
	text-align: center;
}

a:active {
	color: #222;
	text-shadow: 0 0 3px red;
}

a[href^="http://itunes.apple.com/"]:after, a[href^="https://itunes.apple.com/"]:after, a[href^="http://phobos.apple.com/"]:after, a[href^="https://phobos.apple.com/"]:after {
	content: " " url(/iTunes-16.png);
}