@charset "UTF-8";

html { margin: 0; padding: 0 }
body { margin: 0; padding: 1em 3%; background: #fff; font-family: serif }

:link { color: #09c }
:visited { color: #708 }
a:active { outline: dotted #666 1px }
a:hover { text-decoration: none }

h1, h2, h3, h4 { font-weight: normal }

p { margin: 0 0 0 0.8em; padding: 0 }

math { text-indent: 0; white-space: nowrap }

.invisible, mo[class="invisible"] { display: none }

sup { vertical-align: top; font-size: 90% }

em, strong { color: #000 }
em { font-style: italic }
strong { font-weight: bold }

.eqblock { text-align: center }
.eqblock-l { text-align: left }

p { margin: 0 0 1em 0 }

.table { border: solid #000 2px; padding: 2%; margin: 1em 0 }
.table h4 { text-align: center }

h1 { font-size: 140% }
h2 { font-size: 180% }
h3, h4 { font-size: 120% }

.marker, .marker:visited { color: #fff }
.marker { background: #aab; padding: 0.1em 0.8em; margin: 0 1em 0 0; text-decoration: none }

table { border-collapse: collapse }
table td, table th { padding: 0.3em; border: solid #ccd 1px }
table th { font-weight: bold; background: #e9e9ef }

.twocolumns div { width: 49.9%; float: left; padding: 0 0 0.8em 0 }

.footer { color: #667; font-size: 80%; padding: 1em 0 0 0; margin: 3em 0 0 0; border-top: solid #ccd 1px }
.footer p { padding: 0; margin: 0 }

.il { list-style-type: none; padding-left: 0; margin-left: 0; padding-right: 0; margin-right: 0 }
.il li { padding: 0 0 0 2em; margin: 0 }

/* ------------------------------------------------------------ */

.zoomed-expression { background: #dee; padding: 0.1em; font-size: 300% }
.zoomable-expression, .zoomed-expression { cursor: pointer }