| 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: 0; |
| } |
| |
| pre { |
| margin: 20px 20px 20px 40px; |
| -webkit-border-radius: 5px; |
| -moz-border-radius: 5px; |
| border-radius: 5px; |
| } |
| |
| div.output pre { |
| padding: 10px; |
| } |
| |
| pre { |
| background: white; |
| } |
| div.output pre { |
| background: black; |
| } |
| div.output .stdout pre { |
| color: #e6e6e6; |
| } |
| div.output .stderr pre { |
| color: rgb(244, 74, 63); |
| } |
| div.output .system pre { |
| 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; |
| } |
| } |