+++ /dev/null
-body {
- margin: 0;
- font-family: Helvetica, Arial, sans-serif;
- font-size: 16px;
-}
-pre,
-code {
- font-family: Menlo, monospace;
- font-size: 14px;
-}
-pre {
- line-height: 18px;
- margin: 0;
- padding: 0;
-}
-a {
- color: #375eab;
- text-decoration: none;
-}
-a:hover {
- text-decoration: underline;
-}
-p,
-ul,
-ol {
- margin: 20px;
-}
-
-h1,
-h2,
-h3,
-h4 {
- margin: 20px 0;
- padding: 0;
- color: #375eab;
- font-weight: bold;
-}
-h1 {
- font-size: 18px;
- padding: 2px 5px;
-}
-h2 {
- font-size: 16px;
-}
-h3 {
- font-size: 16px;
-}
-h3,
-h4 {
- margin: 20px 5px;
-}
-h4 {
- font-size: 16px;
-}
-
-div#heading {
- margin: 0 0 10px 0;
- padding: 21px 0;
- font-size: 20px;
- font-weight: bold;
-}
-
-div#heading .author {
- padding-top: 10px;
- font-size: 14px;
- font-weight: normal;
-}
-
-div#topbar {
-}
-
-body {
- text-align: center;
-}
-div#page {
- width: 100%;
-}
-div#page > .container,
-div#topbar > .container {
- text-align: left;
- margin-left: auto;
- margin-right: auto;
- padding: 0 20px;
- width: 900px;
-}
-div#page.wide > .container,
-div#topbar.wide > .container {
- width: auto;
-}
-
-div#footer {
- text-align: center;
- color: #666;
- font-size: 14px;
- margin: 40px 0;
-}
-
-.author p {
- margin: 0;
- padding: 0 20px;
-}
-
-div.code,
-div.output {
- margin: 20px 20px 20px 40px;
- -webkit-border-radius: 5px;
- -moz-border-radius: 5px;
- border-radius: 5px;
-}
-
-div.output {
- padding: 10px;
-}
-
-div.code {
- background: white;
-}
-div.output {
- background: black;
-}
-div.output .stdout {
- color: #e6e6e6;
-}
-div.output .stderr {
- color: rgb(244, 74, 63);
-}
-div.output .system {
- color: rgb(255, 209, 77);
-}
-
-.buttons {
- margin-left: 20px;
-}
-div.output .buttons {
- margin-left: 0;
- margin-bottom: 10px;
-}
-
-#toc {
- float: right;
- margin: 0px 10px;
- padding: 10px;
- border: 1px solid #e5ecf9;
- background-color: #eee;
- box-shadow: 3px 3px 2px #888888;
-
- max-width: 33%;
-
- -webkit-border-radius: 5px;
- -moz-border-radius: 5px;
- border-radius: 5px;
-}
-
-#tochead {
- font-weight: bold;
- font-variant: small-caps;
- font-size: 100%;
- text-align: center;
- padding-bottom: 5px;
-}
-
-#toc ul,
-#toc a {
- list-style-type: none;
- padding-left: 0px;
- color: black;
- margin: 0px;
-}
-
-ul.toc-inner a {
- padding-left: 10px !important;
-}
-
-@media print {
- .no-print,
- .no-print * {
- display: none !important;
- }
-}