.aside,p.aside {
float:right;
text-align:center;
max-width:200px;
border:solid #999 1px;
background:#f0f0ff;
page-break-inside:avoid;
margin:0 2px 12px 12px;
padding:5px;
}

.aside + .aside {
margin-top:12px;
}

div.indented,p.indented,pre.indented {
padding-left:2em;
}

div.withrightmargin {
margin-right:200px;
margin-left:10px;
}

div.withrightmargin .aside {
float:none;
position:absolute;
right:0;
max-width:170px;
}

.brown {
color:#630;
font-weight:700;
}

ul.unindented li,ul.unindented ul,ul.unindented {
margin-left:0!important;
padding-left:0!important;
}

a.verytop {
position:relative;
top:8px;
margin:100px 0 0!important;
padding:0;
}

.lefttoright {
float:left;
padding-left:0;
margin-right:6px;
}

.lefttoright + * {
clear:both;
}

.lefttoright + .lefttoright {
clear:none;
}

.caption {
text-align:center;
font-style:italic;
}

h1 {
margin-left:10px;
}

.code {
page-break-inside:avoid;
}

.argument {
font-style:italic;
}

div.keypoint,p.keypoint {
border:solid red 2px;
text-align:center;
margin:2ex 10%;
padding:10px;
}

div.keypoint h1,p.keypoint h1,div.keypoint h2,p.keypoint h2 {
margin-top:0;
text-align:center;
}

table.standard {
margin-top:1ex;
}

table.standard td,table.standard th {
border:solid #000 1px;
padding:5px;
}

table.centred td {
text-align:center;
}

div.nomargin {
margin-top:0;
margin-bottom:0;
}

pre.code + div.aside + pre.code {
margin-top:0;
padding-top:0;
border-top:solid #FFF 0;
}

pre.nobottom {
padding-bottom:0;
margin-bottom:0;
border-bottom:solid #FFF 0;
}

.leftfloat {
float:left;
padding-left:0;
margin-right:12px;
margin-bottom:6px;
margin-top:12px;
clear:both;
}

.leftfloat + h2 {
padding-top:0;
margin-top:12px;
}

.strong,.h,.strong {
font-weight:700;
}