body {	padding:1%;}#photo  {	width:50%;	float:none;	margin:0 25%;}header h1, .header h1 {	font-size:1.4em;}#menu ul, #menu a, #menu li {	text-align:right;	margin:0;	padding:0;}#menu a {	margin-right:1em;}footer, .footer {	font-size:small}dl{	margin-left:0.25em;}dt {    text-align: left;    float: none;    width:none;	margin:0.25em 0 0 0;}dd {    margin:0 1em;    margin-bottom:0.25em;	overflow:auto;	text-overflow:ellipsis;	white-space:normal;}table {	font-size:0.8em;	width:95%;	margin-left:2.5%;}pre {	font-size:0.8em;}pre, .attention, .h3wrapper {	margin:1em 2.5%;}.attention {	min-height:2em;	padding:0.5em;}.attention .symbol {	font-size:1.5em;	padding:0 0.25em;	margin:0 0 0 0.25em;}p {	text-indent:0.5em;	margin:0 0 0.25em 0;	text-align:left;}#qr {	width:200px;	margin:0;	float:center;}