/* image pulls */div.imagepull {	width: 40%;	border: solid .1em black;	margin-bottom: .5em;	margin-top: .5em;	background-color: white;}div.selfbordered {	border: none;}div.imagepull img, div.imagepull object {	width: 100%;	height: auto;	display: block;}div.imagepull.smaller {	width: 25%;}object p.noplayer {	padding-left: 1em;}div.imagepull img {	height: auto;}div#content p.caption, p.caption {	font-style: italic;	font-size: 82%;	text-align: center;	margin: auto;	margin-top: 0;	margin-bottom: .2em;	padding: .2em;	width: 92%;}object p.caption {	text-transform: uppercase;}div.pulleven {	float: left;	margin-right: 1em;}div.pullodd {	float: right;	margin-left: 1em;	text-align: right;	clear: right;}div#content div.example, div.example {	width: 80%;	margin: auto;	border: solid black .1em;	float: none;}div.example.smaller {	width: 36%;}/* image rows */div.quintuple, div.quadruple, div.triple, div.double {	clear: both;}div.quintuple img, div.quadruple img, div.triple img, div.double img {	width: 32%;	height: auto;	vertical-align: top;	margin-top: 1em;}div.double.smaller {	width: 66%;	margin: auto;}div.double img {	width: 49%;}div.quadruple img {	width: 24%;}div.quintuple img {	width: 19%;}div#main div.quintuple p.summary, div#main div.quadruple p.summary, div#main div.triple p.summary, div#main div.double p.summary {	text-align: center;	font-size: 120%;	margin-bottom: 0;	font-style: italic;	background-color: #F5CA52;	padding: 0.15em;}div.shelf img {	height: 12em;	width: auto;	display: inline-block;}div.shelf {	text-align: center;}div.quintuple div.captioned, div.quadruple div.captioned, div.triple div.captioned, div.double div.captioned {	width: 32%;	display: inline-block;	vertical-align: top;}div.double div.captioned {	width: 49%;}div.quadruple div.captioned {	width: 24%;}div.quintuple div.captioned {	width: 19%;}div.captioned+div.captioned {	/* not sure I like this, as it doesn't match the width which is in percentages, but percentages don't work here */	padding-left: .3em;}div.quintuple div.captioned img, div.quadruple div.captioned img, div.triple div.captioned img, div.double div.captioned img {	width: 100%;}