/*! normalize.css v4.0.0 | MIT License | github.com/necolas/normalize.css */
html{
    font-family:sans-serif;
    -ms-text-size-adjust:100%;
    -webkit-text-size-adjust:100%
}
body{
    margin:0
}
article,aside,details,figcaption,figure,footer,header,main,menu,nav,section,summary{
    display:block
}
audio,canvas,progress,video{
    display:inline-block
}
audio:not([controls]){
    display:none;
    height:0
}
progress{
    vertical-align:baseline
}
[hidden],template{
    display:none
}
a{
    background-color:transparent
}
a:active,a:hover{
    outline-width:0
}
abbr[title]{
    border-bottom:none;
    text-decoration:underline;
    text-decoration:underline dotted
}
b,strong{
    font-weight:inherit;
    font-weight:bolder
}
dfn{
    font-style:italic
}
h1{
    font-size:2em;
    margin:.67em 0
}
mark{
    background-color:#ff0;
    color:#000
}
small{
    font-size:80%
}
sub,sup{
    font-size:75%;
    line-height:0;
    position:relative;
    vertical-align:baseline
}
sub{
    bottom:-.25em
}
sup{
    top:-.5em
}
img{
    border-style:none
}
svg:not(:root){
    overflow:hidden
}
code,kbd,pre,samp{
    font-family:monospace;
    font-size:1em
}
figure{
    margin:1em 40px
}
hr{
    box-sizing:content-box;
    height:0;
    overflow:visible
}
button,input,select,textarea{
    font:inherit
}
optgroup{
    font-weight:700
}
button,input,select{
    overflow:visible
}
button,input,select,textarea{
    margin:0
}
button,select{
    text-transform:none
}
[type=button],[type=reset],[type=submit],button{
    cursor:pointer
}
[disabled]{
    cursor:default
}
[type=reset],[type=submit],button,html [type=button]{
    -webkit-appearance:button
}
button::-moz-focus-inner,input::-moz-focus-inner{
    border:0;
    padding:0
}
button:-moz-focusring,input:-moz-focusring{
    outline:1px dotted ButtonText
}
fieldset{
    border:1px solid silver;
    margin:0 2px;
    padding:.35em .625em .75em
}
legend{
    box-sizing:border-box;
    color:inherit;
    display:table;
    max-width:100%;
    padding:0;
    white-space:normal
}
textarea{
    overflow:auto
}
[type=checkbox],[type=radio]{
    box-sizing:border-box;
    padding:0
}
[type=number]::-webkit-inner-spin-button,[type=number]::-webkit-outer-spin-button{
    height:auto
}
[type=search]{
    -webkit-appearance:textfield
}
[type=search]::-webkit-search-cancel-button,[type=search]::-webkit-search-decoration{
    -webkit-appearance:none
}
details,summary{
    display:block
}
details.details_shim_closed>*{
    display:none
}
details.details_shim_closed>summary,details.details_shim_open>summary{
    display:block
}
details.details_shim_closed>summary:before{
    display:inline-block;
    content:"\25b6";
    padding:0 .1em;
    margin-right:.4em
}
details.details_shim_open>summary:before{
    display:inline-block;
    content:"\25bc";
    padding:0;
    margin-right:.35em
}
details{
    font-style:italic
}
summary{
    cursor:pointer;
    font-style:normal;
    outline:0;
    font-size:1pc;
    font-size:1rem;
    margin-bottom:0
}
li>details.details_shim_closed>summary:before,li>details.details_shim_open>summary:before{
    content:"";
    padding:0;
    margin-right:0
}
li>details summary::-webkit-details-marker{
    display:none
}
ul.book-navigation{
    padding:0 0 0 30px
}
.book-navigation li{
    list-style:none;
    margin-left:-15px;
    position:relative
}
.book-navigation input{
    position:absolute;
    left:0;
    margin-left:0;
    opacity:0;
    z-index:2;
    cursor:pointer;
    height:1em;
    width:1em;
    top:0
}
.book-navigation li input+ul{
    margin:-.89em 0 0 -40px;
    height:1em
}
.book-navigation li input+ul>li{
    display:none;
    margin-left:-9px!important;
    padding-left:0
}
.book-navigation li label{
    display:block;
    padding-left:18px
}
.book-navigation li input:checked+ul{
    margin:-1.25em 0 0 -40px;
    padding:1.3em 0 0 5pc;
    height:auto
}
.book-navigation li input+ul:before{
    position:absolute;
    margin:-.25em 0 0;
    height:1em;
    content:"\25BA";
    color:#351C75
}
.book-navigation li input:checked+ul:before{
    position:absolute;
    margin:-2.55em 0 0 -90pt;
    padding:1.3em 0 0 5pc;
    height:auto;
    content:"\25BC"
}
.book-navigation li input:checked+ul>li{
    display:block;
    margin:0 0 .125em
}
.book-navigation li input:checked+ul>li:last-child{
    margin:0 0 .063em
}
.book-navigation a{
    text-decoration:none;
    color:#000
}
.book-navigation a.active{
    display:block;
    background-color:#ddd;
    color:#000
}
.book-navigation h3{
    margin:0;
    text-transform:uppercase
}
.definition,.example,.exercise,.theorem{
    border-radius:8px;
    padding:10px;
    margin:15px 0 35px;
    overflow:hidden
}
.definition h3,.example h3,.exercise h3,.theorem h3{
    margin-top:0
}
.exercise{
    position:relative;
    background-color: #EBEBF2
}
.example ol,.exercise ol,.theorem ol{
    counter-reset:a
}
.example ol>li,.exercise ol>li,.theorem ol>li{
    list-style:none;
    position:relative;
    margin-bottom:10px
}
.example ol>li:before,.exercise ol>li:before,.theorem ol>li:before{
    counter-increment:a;
    content:counter(a,lower-alpha) ") ";
    position:absolute;
    left:-1.4em
}
.number-counters ol{
    counter-reset:a
}
.number-counters ol>li:before{
    counter-increment:a;
    content:counter(a,decimal) ". ";
    position:absolute;
    left:-1.4em
}
.grid-exercise{
    padding-right:0
}
.grid-exercise li{
    float:left;
    padding-right:5pc;
    height:60px
}
.grid-theorem{
    padding-right:0
}
.grid-theorem li{
    float:left;
    padding-right:5pc;
    height:40px;
    width:5pc
}
.grid-theorem ol{
    counter-reset:a
}
.grid-theorem ol>li:before{
    counter-increment:a;
    content:counter(a,decimal) ". ";
    position:absolute;
    left:-1.4em
}
.exam-problem{
    background-color:#fff
}
.example{
    background-color:#CCCCDE;
    position:relative
}
.definition,.theorem{
    background-color:#ebf2eb;
    position:relative
}
details.step{
    font-style:normal
}
details.lastStep{
    margin-bottom:15px
}
.step summary{
    color:#a30101;
    font-size:large
}
.mjx-chtml{
    outline:0
}
#top-bar{
    display:-webkit-box;
    display:-webkit-flex;
    display:-ms-flexbox;
    display:flex;
    -webkit-box-pack:justify;
    -webkit-justify-content:space-between;
    -ms-flex-pack:justify;
    justify-content:space-between;
    background:#351C75;
    position:fixed;
    width:100%;
    z-index:1
}
#top-bar #auto-index{
    position:relative;
    padding:10px
}
#top-bar #auto-index .active{
    background-color:#ddd
}
#top-bar .list{
    position:absolute;
    background-color:#fff;
    z-index:1;
    box-shadow:5px 5px 5px #888;
    margin-top:0;
    border-radius:8px;
    padding:3px;
    width:5in;
    width:30rem
}
#top-bar .list a{
    display:block
}
#top-bar .list a,#top-bar .list li{
    color:#000;
    width:100%
}
#top-bar>ul>li{
    float:left
}
#top-bar ul{
    list-style-type:none;
    margin:0;
    padding:0
}
#top-bar>ul>li>a{
    display:block;
    color:#fff;
    text-align:center;
    padding:14px 1pc;
    text-decoration:none
}
#top-bar>ul>li>a:hover{
    color:#ede6e4
}
@font-face{
    font-family:notoEmoji;
    src:url(fonts/NotoEmoji-Regular.ttf)
}
body{
    font-family:Georgia,Times,Times New Roman,Segoe UI Symbol,serif
}
img{
    max-width:100%;
    max-height:100%
}
input{
    outline:0;
    border-radius:8px;
    padding-left:10px;
    border:2px solid #756f74;
    -webkit-transition:border .3s;
    transition:border .3s
}
h4{
    margin-bottom:-1pc
}
#board table,#content table{
    margin:1pc 0;
    border-spacing:0;
    border-collapse:collapse
}
#board td,#content td{
    border-style:solid;
    border-width:thin;
    margin:0;
    padding:4px 8px;
    vertical-align:top
}
#content th{
    padding:0 8px
}
.row-headers td:first-child{
    font-weight:700
}
.hide-headers th{
    display:none
}
a{
    text-decoration:none;
    color:#1e90ff
}
.top-right{
    position:absolute;
    top:10px;
    right:10px;
    cursor:pointer;
    font-family:notoEmoji
}
.hidden{
    display:none
}
.offset{
    height:47px;
    margin-top:-62px
}
#middle-container{
    display:-webkit-box;
    display:-webkit-flex;
    display:-ms-flexbox;
    display:flex
}
#navigation-sidebar{
    margin-top:3em;
    position:fixed
}
#content{
    width:575px;
    margin:3em 0 0 16em
}
#right-sidebar{
    position:fixed;
    left:850px;
    max-width:575px;
    margin:3em 1em 0 0
}
#board{
    background:#fff;
    border-style:dashed;
    border-width:thin
}
#board h3>a{
    color:#000
}
#board:empty{
    display:none
}
#wolfram{
    width:310px
}
footer{
    width:100%;
    margin:10px 0
}
#prev-link:before{
    content:"\25C4"
}
#next-link{
    float:right
}
#next-link:after{
    content:"\25BA"
}