/* Set the body padding-top when above 980px to push the content down from below the navbar, which is fixed at >980px screen widths. */ @media (min-width: 980px) { body { padding-top: 71px; } } body { padding-bottom: 40px; } pre { font-size: 12px; } .dropdown .dropdown-menu { display: none; } .dropdown.open .dropdown-menu { display: block; } @media (max-width: 480px) { .repo-link { display: none; } } /* Header link to GitHub */ .repo-link { float: right; margin-right: 10px; margin-top: 9px; } /* GitHub 'Star' badge */ body.index-page #main-content iframe { float: right; margin-top: -12px; margin-right: -15px; } /* Travis CI badge */ body.index-page #main-content p:first-of-type { float: right; margin-right: 8px; margin-top: -14px; margin-bottom: 0px; } /* Github source file badges */ a.github { float: right; margin-top: -12px; margin-right: 12px; } a.github:hover { text-decoration: none; } /* Force TOC text to not overrun */ #table-of-contents { overflow: hidden; } /* Code blocks should scroll horizontally */ pre { overflow: auto; word-wrap: normal; white-space: pre; } /* Preserve the spacing of the navbar across different screen sizes. */ .navbar-inner { padding: 5px 0; } @media (max-width: 979px) { .navbar .brand { margin-left: 0; padding-left: 0; } .navbar-inner .container-fluid { padding-left: 15px; } } .nav-list li.main { font-weight: bold; } /* Set the table of contents to static so it flows back into the content when viewed on tablets and smaller. */ @media (max-width: 767px) { #table-of-contents { position: static; } } /* When the page is in two-column layout, give the main content some room to breath on the left. */ @media (min-width: 768px) { #main-content { padding-left: 1em; } } /* Cutesy quote styling */ blockquote { font-family: Georgia, serif; font-size: 18px; font-style: italic; margin: 0.25em 0; padding: 0.25em 40px; line-height: 1.45; position: relative; color: #383838; border-left: none; } blockquote:before { display: block; content: "\201C"; font-size: 80px; position: absolute; left: -10px; top: -20px; color: #7a7a7a; } blockquote p:last-child { color: #999999; font-size: 14px; display: block; margin-top: 5px; }