body {1margin: 20px;2font-family: sans-serif;3background-color: white;4}56#sagecell_main {7/* This is so that an interact that changes size8doesn't cause the browser to scroll everything up and down */9margin-bottom: 80%;10}1112a {13text-decoration: none;14color: mediumblue;15}1617a:hover {18text-decoration: underline;19}2021.sagecell button.sagecell_evalButton {22font-size: 120%;23}2425#sagecell_about {26position: absolute;27top: 5px;28right: 5px;29font-size: 80%;30}3132ol.sagecell_toc,33ol.sagecell_toc ol {34list-style: none;35}3637.sagecell_disclaimer {38font-size: 80%;39}4041.sagecell .CodeMirror-scroll {42min-height: 14em;43}444546