a {
    text-decoration: none
    }
a:hover {
    text-decoration: underline
    }
.advert {
    border: solid medium;
    margin: 2em auto;
    text-align: center;
    padding: 2em;
    width: 25em
    }
.allclear {
    clear: both
    }
.bb {
    border-bottom: solid thin
    }
.bbdot {
    border-bottom: dotted thin
    }
.bl {
    border-left: solid thin
    }
body {
    margin-left: 10%;
    margin-right: 10%;
    max-width: 65em
    }
.bot {
    vertical-align: bottom
    }
.br {
    border-right: solid thin
    }
.brdash {
    border-right: dashed thin
    }
.bt {
    border-top: solid thin
    }
.caption {
    text-align: center;
    text-indent: 0;
    margin-top: 1.25em
    }
.center {
    text-align: center;
    text-indent: 0
    }
.dontwrap {
    white-space: nowrap;
    display: inline-block;
    text-indent: 0
    }
.figcenter {
    margin: 1.5em auto;
    text-align: center
    }
.fnanchor {
    vertical-align: top;
    font-size: 0.7em;
    text-decoration: none;
    white-space: nowrap
    }
.footnote {
    margin: 0.5em 5% 0.5em 10%;
    font-size: 0.9em
    }
.footnote .label {
    font-size: 0.75em;
    vertical-align: top;
    margin: 0 1.5em 0 0;
    text-indent: -3em;
    padding: 0
    }
@media all {
    .footnote .label {
        float: left;
        margin: 0 1em 0 0;
        text-indent: 0;
        padding-right: 1em
        }
    }
.footnote p {
    margin-top: 0.25em;
    margin-bottom: 0;
    margin-left: 1em;
    text-indent: -1em
    }
.fsize80 {
    font-size: 0.8em
    }
.fsize90 {
    font-size: 0.9em
    }
.fsize110 {
    font-size: 1.1em
    }
.fsize200 {
    font-size: 2em
    }
.gesp1 {
    letter-spacing: 0.09em;
    margin-right: -0.1em
    }
.gesp2 {
    letter-spacing: 0.2em;
    margin-right: -0.2em
    }
h1, h2, h3, h4 {
    text-align: center;
    clear: both;
    margin-top: 1.5em;
    margin-bottom: 1.5em;
    page-break-after: avoid
    }
h2 {
    font-weight: normal;
    margin-top: 0.75em;
    margin-bottom: 0.75em;
    font-size: 1.25em;
    line-height: 1.5em
    }
h2.appendix {
    margin-top: 5em;
    margin-bottom: 5em
    }
h3 {
    font-weight: normal;
    margin-top: 0.75em;
    margin-bottom: 0.75em;
    line-height: 1.5em;
    font-size: 1em
    }
.horsplit {
    display: inline-block;
    vertical-align: middle;
    text-align: center;
    white-space: nowrap;
    padding: 0;
    text-indent: 0
    }
.horsplit .bot {
    padding: 0 0.1em;
    display: block;
    vertical-align: top;
    text-indent: 0;
    line-height: 0.9em
    }
.horsplit .top {
    padding: 0 0.1em;
    display: block;
    vertical-align: bottom;
    text-indent: 0;
    line-height: 0.9em
    }
hr {
    width: 34%;
    margin: 2em 33%;
    color: black;
    clear: none
    }
hr.ad {
    width: 30%;
    margin: 0.5em 35%
    }
hr.chap {
    width: 26%;
    margin: 4em 37%;
    page-break-after: avoid;
    clear: both
    }
hr.sec {
    width: 6%;
    margin: 2em 47%;
    clear: both
    }
hr.tb {
    width: 10%;
    margin: 0.75em 45%
    }
.left {
    text-align: left
    }
.nowrap {
    white-space: nowrap;
    display: inline-block;
    text-indent: 0
    }
.oldtype {
    font-family: "Old English Text MT", sans-serif
    }
p {
    margin-top: 0;
    text-align: justify;
    margin-bottom: 0;
    text-indent: 1em
    }
p.blankbefore1 {
    margin-top: 0.75em
    }
p.blankbefore4 {
    margin-top: 4em
    }
p.center {
    text-align: center;
    text-indent: 0
    }
p.colours {
    margin-left: 4em;
    text-indent: -4em
    }
p.expressionnumber {
    text-align: right;
    margin-right: 10%;
    margin-top: -2.25em;
    margin-bottom: 0.75em
    }
p.highline2 {
    line-height: 2em
    }
p.highline4 {
    line-height: 4em
    }
p.highline8 {
    line-height: 8em
    }
p.highline15 {
    line-height: 1.5em
    }
p.hind2_6 {
    margin-left: 3em;
    text-indent: -2em
    }
p.noindent {
    text-indent: 0
    }
p.note {
    margin-top: 0.75em;
    margin-bottom: 0.75em;
    font-size: 0.9em
    }
p.printer {
    text-align: center;
    text-indent: 0;
    font-size: 0.8em;
    margin-top: 8em;
    margin-bottom: 8em
    }
p.signature {
    text-align: right;
    margin: 1.25em;
    line-height: 1.75em
    }
p.tabhead {
    text-align: center;
    text-indent: 0;
    margin-top: 0.75em
    }
p.thinline {
    line-height: 0.001em
    }
.padl0 {
    padding-left: 0
    }
.padl1 {
    padding-left: 0.5em
    }
.padl2 {
    padding-left: 1em
    }
.padl4 {
    padding-left: 2em
    }
.padr0 {
    padding-right: 0
    }
.padr1 {
    padding-right: 0.5em
    }
.padr2 {
    padding-right: 1em
    }
.pagenum {
    font-size: 0.75em;
    text-align: right;
    color: gray;
    text-decoration: none;
    font-weight: normal;
    font-style: normal;
    text-indent: 0
    }
@media all {
    .pagenum {
        display: none
        }
    }
.preface {
    margin-top: 2em;
    margin-bottom: 2em
    }
.preface p {
    font-size: 1.1em;
    line-height: 1.25em;
    margin-top: 0.25em
    }
.preface .pagenum {
    font-size: 70%
    }
.right {
    text-align: right
    }
.scr {
    display: block
    }
@media all {
    .scr {
        display: none
        }
    }
.smcap {
    font-variant: small-caps
    }
.split5050 {
    clear: both
    }
@media all {
    .split5050 {
        clear: both
        }
    }
.split5050 .left5050 {
    clear: left
    }
@media all {
    .split5050 .left5050 {
        float: left;
        clear: left
        }
    }
.split5050 .right5050 {
    clear: right
    }
@media all {
    .split5050 .right5050 {
        float: right;
        clear: right
        }
    }
sub {
    font-size: 0.6em;
    vertical-align: bottom
    }
sub.indigo {
    font-size: 1.1em;
    vertical-align: -10%
    }
sup {
    font-size: 0.6em;
    vertical-align: 10%
    }
sup.indigo {
    font-size: 1.1em;
    vertical-align: 20%
    }
.horsplit sub {
    font-size: 0.5em
    }
.horsplit sup {
    font-size: 0.5em;
    vertical-align: 50%
    }
table {
    margin-left: auto;
    margin-right: auto;
    margin-bottom: 1em;
    margin-top: 1em;
    border-collapse: collapse
    }
table.captions {
    margin-top: 0.75em;
    margin-bottom: 0;
    text-align: center;
    width: 100%;
    padding: 0.25em
    }
table.captions td {
    border: dotted thin gray;
    line-height: 2.5em;
    padding-left: 1em;
    padding-right: 1em
    }
table.colours {
    margin-top: 0;
    margin-bottom: 0.75em;
    font-size: 0.9em;
    white-space: nowrap
    }
table.colours td {
    padding-left: 0.25em;
    padding-right: 0.25em;
    text-align: left
    }
table.colours td.cubeside {
    width: 5em
    }
table.colours td.colour {
    width: 8em;
    text-align: left;
    text-indent: 0
    }
table.colours td.lineno {
    width: 1em;
    text-align: left;
    text-indent: 0
    }
table.colours th {
    text-align: left;
    text-indent: 0
    }
table.correspondence {
    margin-top: 0;
    margin-bottom: 0.75em;
    font-size: 0.9em
    }
table.correspondence td {
    text-align: center;
    padding-left: 0.25em;
    padding-right: 0.25em
    }
table.correspondence td.colour {
    text-align: left;
    width: 7.5em
    }
table.correspondence th {
    text-align: left;
    padding-left: 0.25em;
    padding-right: 0.25em
    }
table.examples {
    margin-top: 0;
    margin-bottom: 0;
    text-align: left;
    margin-left: 1em
    }
table.examples td.direction {
    text-align: right;
    vertical-align: bottom
    }
table.examples td.ranrun {
    text-align: center;
    padding-left: 0.25em;
    padding-right: 0.25em;
    white-space: nowrap;
    vertical-align: bottom
    }
table.examples td.tessaracts {
    text-align: left;
    vertical-align: top;
    padding-left: 1em;
    text-indent: -1em
    }
table.figdesc {
    margin-top: 0.75em;
    margin-bottom: 0.75em;
    white-space: nowrap
    }
table.figdesc td {
    text-align: center
    }
table.figdesc td.narrow {
    width: 0.25em;
    text-align: center
    }
table.figdesc td.padded {
    padding-left: 0.25em;
    padding-right: 0.25em;
    text-align: center
    }
table.names {
    margin-top: 0.75em;
    margin-bottom: 0.75em;
    font-size: 0.9em;
    white-space: nowrap
    }
table.names hr {
    width: 30%;
    margin: 0.25em 35%
    }
table.names td.asterisk {
    width: 0.5em;
    text-align: center;
    text-indent: 0
    }
table.names td.block {
    line-height: 2.5em;
    text-align: center;
    text-indent: 0
    }
table.names td.col1 {
    padding-left: 2em
    }
table.names td.doublehigh {
    padding-top: 0.5em;
    padding-bottom: 0.5em
    }
table.names td.floor {
    text-align: center;
    text-indent: 0
    }
table.names td.floor.left {
    text-align: left
    }
table.names td.floornr {
    text-align: left;
    text-indent: 0;
    width: 1em
    }
table.names td.halfhigh {
    line-height: 50%
    }
table.names td.name {
    padding-left: 0.25em;
    padding-right: 0.25em
    }
table.names td.name.double {
    width: 8em
    }
table.names td.name.single {
    width: 5em
    }
table.names td.newrow {
    padding-top: 0.75em
    }
table.nowrapping {
    white-space: nowrap
    }
table.octants {
    margin-top: 0.75em;
    margin-bottom: 0.75em;
    white-space: nowrap
    }
table.octants td {
    padding-left: 0.25em;
    padding-right: 0.25em
    }
table.presentation {
    margin-top: 1.5em;
    margin-bottom: 1.5em;
    white-space: nowrap
    }
table.presentation td.halfhigh {
    line-height: 0.5em
    }
table.presentation td.thincol {
    width: 0.5em
    }
table.presentation td.word {
    min-width: 4.5em;
    padding-right: 0.25em;
    padding-left: 0.25em;
    text-align: left;
    text-indent: 0
    }
table.toc {
    margin-top: 2em;
    margin-bottom: 2em
    }
table.toc td.applet {
    text-align: left;
    text-indent: 0;
    padding-right: 0.25em;
    vertical-align: top
    }
table.toc td.chapname {
    text-align: justify;
    padding-left: 2.25em;
    text-indent: -2em;
    padding-right: 0.5em;
    vertical-align: top
    }
table.toc td.chapno {
    text-align: center;
    text-indent: 0;
    line-height: 1.5em;
    padding-top: 0.75em
    }
table.toc td.pageno {
    text-align: right;
    padding-left: 0.5em;
    vertical-align: bottom;
    white-space: nowrap
    }
table.toc td.part {
    text-align: center;
    text-indent: 0;
    line-height: 2.5em;
    padding-top: 0.75em
    }
table.traces {
    margin-top: 0.75em;
    margin-bottom: 0.75em;
    font-size: 0.9em
    }
table.traces td {
    text-align: center;
    padding-left: 0.25em;
    padding-right: 0.25em;
    white-space: nowrap;
    vertical-align: middle;
    text-indent: 0
    }
table.traces td.colour {
    text-align: left;
    width: 5.5em
    }
table.traces td.linepoint {
    text-align: center;
    text-indent: 0;
    width: 2em
    }
table.traces td.linesquare {
    text-align: center;
    text-indent: 0;
    width: 2.5em
    }
table.traces td.the {
    text-align: center;
    text-indent: 0;
    width: 1.25em
    }
td.brace {
    width: 0.01em
    }
th {
    font-weight: normal
    }
.titlepage {
    border: solid medium;
    margin: 2em auto;
    text-align: center;
    padding: 1em;
    width: 35em
    }
.titlepage .figcenter {
    margin-top: 4em;
    margin-bottom: 4em
    }
.tnbot {
    border: dashed thin;
    margin: 1em 10%;
    padding: 0.5em
    }
.tnbot h2 {
    font-size: 1em
    }
.tnbot p {
    text-indent: -1em;
    margin-left: 1em
    }
.tnbox {
    border: dashed thin;
    margin: 1em 20%;
    padding: 1em
    }
.top {
    vertical-align: top
    }
ul.exercise {
    list-style: none;
    margin: 0.75em 0
    }
ul.exercise li {
    text-align: justify;
    margin-left: 3em;
    text-indent: -3em
    }
.w55pc {
    width: 55%
    }