div#main {
	max-width: 35em;
	margin: 0 auto;
}

div#main>p {
	font-family: sans-serif;
	font-size: 80%;
	width: 75%;
	margin: 1ex auto;
}

div#main>div>h3 {
	margin-top: 5ex;
}

div#main>div:target {
	border-left: 0.7ex solid black;
	padding: 1ex;
	padding-left: 1em;
	background-color: #EEE;
}
div#main>div:target>h3:before {
}
div#main>div:target>h3 {
	margin-top: 1ex;
}

ul.linkstrip {
	float:right;
	list-style-type: none;
	margin: 0;
}
ul.linkstrip:before {
	content:"[ ";
}
ul.linkstrip:after {
	content:" ]";
}
ul.linkstrip>li {
	display: inline-block;
}
ul.linkstrip>li:not(:first-child):before {
	content: " | ";
}

span.cocoaMethodNameSpace {
	font-size: 1%;
}

p.copyright {
	font-size: 80%;
	padding-left: 2em;
}