div#links {
	position: relative;
}
div.childsection, dl.otherpages {
	width: 69%;
}

div.tutorial, div.history, body.tag div.linklist {
	position: absolute;
	top: 5em;
	right: 0;
	width: 28%;
	font-size: 60%;
	border: .2em inset black;
	padding-left: .8em;
	padding-right: .4em;
	padding-top: 0;
}

div.tutorial dd, div.history dd {
	padding-left: 1em;
}

body.tag div.linklist {
	width: 35%;
	font-size: 78%;
}

body.tag div.childsection {
	width: 62%;
}

body.tag div.linklist dd {
	margin-left: 1em;
}