cannam@133: /*******************************************************************************
cannam@133: Site Design by @kentonv and @sailorhg.
cannam@133: 
cannam@133: Originally based on Slate Theme for GitHub Pages
cannam@133: by Jason Costello, @jsncostello
cannam@133: *******************************************************************************/
cannam@133: 
cannam@133: @import url(pygment_trac.css);
cannam@133: 
cannam@133: /*******************************************************************************
cannam@133: MeyerWeb Reset
cannam@133: *******************************************************************************/
cannam@133: 
cannam@133: html, body, div, span, applet, object, iframe,
cannam@133: h1, h2, h3, h4, h5, h6, p, blockquote, pre,
cannam@133: a, abbr, acronym, address, big, cite, code,
cannam@133: del, dfn, em, img, ins, kbd, q, s, samp,
cannam@133: small, strike, strong, sub, sup, tt, var,
cannam@133: b, u, i, center,
cannam@133: dl, dt, dd, ol, ul, li,
cannam@133: fieldset, form, label, legend,
cannam@133: table, caption, tbody, tfoot, thead, tr, th, td,
cannam@133: article, aside, canvas, details, embed,
cannam@133: figure, figcaption, footer, header, hgroup,
cannam@133: menu, nav, output, ruby, section, summary,
cannam@133: time, mark, audio, video {
cannam@133:   margin: 0;
cannam@133:   padding: 0;
cannam@133:   border: 0;
cannam@133:   font: inherit;
cannam@133:   vertical-align: baseline;
cannam@133: }
cannam@133: 
cannam@133: /* HTML5 display-role reset for older browsers */
cannam@133: article, aside, details, figcaption, figure,
cannam@133: footer, header, hgroup, menu, nav, section {
cannam@133:   display: block;
cannam@133: }
cannam@133: 
cannam@133: ol, ul {
cannam@133:   list-style: none;
cannam@133: }
cannam@133: 
cannam@133: blockquote, q {
cannam@133: }
cannam@133: 
cannam@133: table {
cannam@133:   border-collapse: collapse;
cannam@133:   border-spacing: 0;
cannam@133: }
cannam@133: 
cannam@133: a:focus {
cannam@133:   outline: none;
cannam@133: }
cannam@133: 
cannam@133: /*******************************************************************************
cannam@133: Theme Styles
cannam@133: *******************************************************************************/
cannam@133: 
cannam@133: body {
cannam@133:   box-sizing: border-box;
cannam@133:   color:#373737;
cannam@133:   background: #212121;
cannam@133:   font-size: 16px;
cannam@133:   font-family: 'Myriad Pro', Calibri, Helvetica, Arial, sans-serif;
cannam@133:   line-height: 1.5;
cannam@133:   -webkit-font-smoothing: antialiased;
cannam@133: }
cannam@133: 
cannam@133: h1, h2, h3, h4, h5, h6 {
cannam@133:   margin: 10px 0;
cannam@133:   font-weight: 700;
cannam@133:   color:#222222;
cannam@133:   font-family: 'Lucida Grande', 'Calibri', Helvetica, Arial, sans-serif;
cannam@133:   letter-spacing: -1px;
cannam@133: }
cannam@133: 
cannam@133: .hmargin {
cannam@133:   margin: 10px 0 0 0;
cannam@133: }
cannam@133: 
cannam@133: h1 {
cannam@133:   font-size: 36px;
cannam@133:   font-weight: 700;
cannam@133: }
cannam@133: 
cannam@133: h2 {
cannam@133:   padding-bottom: 10px;
cannam@133:   font-size: 28px;
cannam@133:   background: url('../images/bg_hr.png') repeat-x bottom;
cannam@133: }
cannam@133: 
cannam@133: h3 {
cannam@133:   font-size: 24px;
cannam@133: }
cannam@133: 
cannam@133: h4 {
cannam@133:   font-size: 21px;
cannam@133: }
cannam@133: 
cannam@133: h5 {
cannam@133:   font-size: 18px;
cannam@133: }
cannam@133: 
cannam@133: h6 {
cannam@133:   font-size: 16px;
cannam@133: }
cannam@133: 
cannam@133: p {
cannam@133:   margin: 10px 0 15px 0;
cannam@133: }
cannam@133: 
cannam@133: footer p {
cannam@133:   color: #f2f2f2;
cannam@133: }
cannam@133: 
cannam@133: a {
cannam@133:   text-decoration: none;
cannam@133:   color: #007edf;
cannam@133:   text-shadow: none;
cannam@133: 
cannam@133:   transition: color 0.5s ease;
cannam@133:   transition: text-shadow 0.5s ease;
cannam@133:   -webkit-transition: color 0.5s ease;
cannam@133:   -webkit-transition: text-shadow 0.5s ease;
cannam@133:   -moz-transition: color 0.5s ease;
cannam@133:   -moz-transition: text-shadow 0.5s ease;
cannam@133:   -o-transition: color 0.5s ease;
cannam@133:   -o-transition: text-shadow 0.5s ease;
cannam@133:   -ms-transition: color 0.5s ease;
cannam@133:   -ms-transition: text-shadow 0.5s ease;
cannam@133: }
cannam@133: 
cannam@133: #main_content a:hover {
cannam@133:   color: #0069ba;
cannam@133: }
cannam@133: 
cannam@133: footer a:hover {
cannam@133:   color: #43adff;
cannam@133:   text-shadow: #0090ff 0px 0px 2px;
cannam@133: }
cannam@133: 
cannam@133: em {
cannam@133:   font-style: italic;
cannam@133: }
cannam@133: 
cannam@133: strong {
cannam@133:   font-weight: bold;
cannam@133: }
cannam@133: 
cannam@133: img {
cannam@133:   position: relative;
cannam@133:   margin: 0 auto;
cannam@133:   max-width: 739px;
cannam@133: }
cannam@133: 
cannam@133: img.gittip {
cannam@133: 	width: 51px;
cannam@133: 	height: 10px;
cannam@133: }
cannam@133: 
cannam@133: img.gittip15 {
cannam@133:   width: 77px;
cannam@133:   height: 15px;
cannam@133: }
cannam@133: 
cannam@133: pre, code {
cannam@133:   width: 100%;
cannam@133:   color: #222;
cannam@133:   background-color: #fff;
cannam@133: 
cannam@133:   font-family: Monaco, "Bitstream Vera Sans Mono", "Lucida Console", Terminal, monospace;
cannam@133:   font-size: 14px;
cannam@133: 
cannam@133:   border-radius: 2px;
cannam@133:   -moz-border-radius: 2px;
cannam@133:   -webkit-border-radius: 2px;
cannam@133: }
cannam@133: 
cannam@133: h1>code {
cannam@133: 	font-size: 30px;
cannam@133: }
cannam@133: 
cannam@133: pre {
cannam@133:   width: -moz-calc(100% - 20px);
cannam@133:   width: -webkit-calc(100% - 20px);
cannam@133:   width: calc(100% - 20px);
cannam@133:   padding: 10px;
cannam@133:   box-shadow: 0 0 10px rgba(0,0,0,.1);
cannam@133:   overflow: auto;
cannam@133: }
cannam@133: 
cannam@133: code {
cannam@133:   padding: 3px;
cannam@133:   margin: 0 3px;
cannam@133:   box-shadow: 0 0 10px rgba(0,0,0,.1);
cannam@133: }
cannam@133: 
cannam@133: pre code {
cannam@133:   display: block;
cannam@133:   box-shadow: none;
cannam@133: }
cannam@133: 
cannam@133: blockquote {
cannam@133:   color: #666;
cannam@133:   margin-bottom: 20px;
cannam@133:   padding: 0 0 0 20px;
cannam@133:   border-left: 3px solid #bbb;
cannam@133: }
cannam@133: 
cannam@133: ul, ol, dl {
cannam@133:   margin-bottom: 15px;
cannam@133:   padding-left: 30px;
cannam@133: }
cannam@133: 
cannam@133: ul li {
cannam@133:   list-style: outside;
cannam@133: }
cannam@133: 
cannam@133: ol li {
cannam@133:   list-style: decimal outside;
cannam@133: }
cannam@133: 
cannam@133: dl dt {
cannam@133:   font-weight: bold;
cannam@133: }
cannam@133: 
cannam@133: dl dd {
cannam@133:   padding-left: 20px;
cannam@133:   font-style: italic;
cannam@133: }
cannam@133: 
cannam@133: dl p {
cannam@133:   padding-left: 20px;
cannam@133:   font-style: italic;
cannam@133: }
cannam@133: 
cannam@133: hr {
cannam@133:   height: 1px;
cannam@133:   margin-bottom: 5px;
cannam@133:   border: none;
cannam@133:   background: url('../images/bg_hr.png') repeat-x center;
cannam@133: }
cannam@133: 
cannam@133: table {
cannam@133:   border: 1px solid #373737;
cannam@133:   margin-bottom: 20px;
cannam@133:   text-align: left;
cannam@133:  }
cannam@133: 
cannam@133: th {
cannam@133:   font-family: 'Lucida Grande', 'Helvetica Neue', Helvetica, Arial, sans-serif;
cannam@133:   padding: 10px;
cannam@133:   background: #373737;
cannam@133:   color: #fff;
cannam@133:  }
cannam@133: 
cannam@133: td {
cannam@133:   padding: 10px;
cannam@133:   border: 1px solid #373737;
cannam@133:  }
cannam@133: 
cannam@133: form {
cannam@133:   background: #f2f2f2;
cannam@133:   padding: 20px;
cannam@133: }
cannam@133: 
cannam@133: img {
cannam@133:   width: 100%;
cannam@133:   max-width: 100%;
cannam@133: }
cannam@133: 
cannam@133: p.author {
cannam@133: 	margin: -1em 0 0 0;
cannam@133: 	padding: 0;
cannam@133: 	font-size: 80%;
cannam@133: 	color: #888;
cannam@133: }
cannam@133: 
cannam@133: h1>a, h2>a {
cannam@133: 	color: black;
cannam@133: }
cannam@133: 
cannam@133: /*******************************************************************************
cannam@133: Full-Width Styles
cannam@133: *******************************************************************************/
cannam@133: 
cannam@133: .outer {
cannam@133:   width: 100%;
cannam@133: }
cannam@133: 
cannam@133: .inner {
cannam@133:   position: relative;
cannam@133:   max-width: 640px;
cannam@133:   padding: 20px 10px;
cannam@133:   margin: 0 auto;
cannam@133: }
cannam@133: 
cannam@133: body.normal #main_content.inner {
cannam@133:   margin: 0 auto 0 340px;
cannam@133: }
cannam@133: 
cannam@133: #discuss_banner {
cannam@133:   display: block;
cannam@133:   position: absolute;
cannam@133:   top:0;
cannam@133:   right: 10px;
cannam@133:   width: 147px;
cannam@133:   z-index: 10;
cannam@133:   padding: 10px 50px 10px 10px;
cannam@133:   color: #fff;
cannam@133:   background: url('../images/groups-logo.png') #333 no-repeat 95% 50%;
cannam@133:   font-weight: 700;
cannam@133:   box-shadow: 0 0 10px rgba(0,0,0,.5);
cannam@133:   border-bottom-left-radius: 2px;
cannam@133:   border-bottom-right-radius: 2px;
cannam@133: }
cannam@133: 
cannam@133: #forkme_banner {
cannam@133:   display: ;
cannam@133:   position: absolute;
cannam@133:   top:0;
cannam@133:   right: 230px;
cannam@133:   z-index: 10;
cannam@133:   padding: 10px 50px 10px 10px;
cannam@133:   color: #fff;
cannam@133:   background: url('../images/blacktocat.png') #333 no-repeat 95% 50%;
cannam@133:   font-weight: 700;
cannam@133:   box-shadow: 0 0 10px rgba(0,0,0,.5);
cannam@133:   border-bottom-left-radius: 2px;
cannam@133:   border-bottom-right-radius: 2px;
cannam@133: }
cannam@133: 
cannam@133: .groups_link {
cannam@133:   display: inline-block;
cannam@133:   z-index: 10;
cannam@133:   padding: 10px 50px 10px 10px;
cannam@133:   margin: 5px;
cannam@133:   color: #fff;
cannam@133:   background: url('../images/groups-logo.png') #0090ff no-repeat 95% 50%;
cannam@133:   background-color: #0090ff;
cannam@133:   font-weight: 700;
cannam@133:   border-top-left-radius: 2px;
cannam@133:   border-top-right-radius: 2px;
cannam@133:   border-bottom-left-radius: 2px;
cannam@133:   border-bottom-right-radius: 2px;
cannam@133: }
cannam@133: 
cannam@133: .github_link {
cannam@133:   display: inline-block;
cannam@133:   z-index: 10;
cannam@133:   padding: 10px 50px 10px 10px;
cannam@133:   margin: 5px;
cannam@133:   color: #fff;
cannam@133:   background: url('../images/blacktocat.png') #0090ff no-repeat 95% 50%;
cannam@133:   background-color: #0090ff;
cannam@133:   font-weight: 700;
cannam@133:   border-top-left-radius: 2px;
cannam@133:   border-top-right-radius: 2px;
cannam@133:   border-bottom-left-radius: 2px;
cannam@133:   border-bottom-right-radius: 2px;
cannam@133: }
cannam@133: 
cannam@133: .twitter_link {
cannam@133:   display: inline-block;
cannam@133:   z-index: 10;
cannam@133:   padding: 10px 50px 10px 10px;
cannam@133:   margin: 5px;
cannam@133:   color: #fff;
cannam@133:   background: url('../images/twitter.svg') #0090ff no-repeat 95% 50%;
cannam@133:   background-color: #0090ff;
cannam@133:   font-weight: 700;
cannam@133:   border-top-left-radius: 2px;
cannam@133:   border-top-right-radius: 2px;
cannam@133:   border-bottom-left-radius: 2px;
cannam@133:   border-bottom-right-radius: 2px;
cannam@133: }
cannam@133: 
cannam@133: #header_wrap {
cannam@133:   background: #C42727;
cannam@133: }
cannam@133: 
cannam@133: #header_wrap .inner {
cannam@133:   padding: 50px 10px 30px 10px;
cannam@133: }
cannam@133: 
cannam@133: #next_banner {
cannam@133:   position: absolute;
cannam@133:   left: 100px;
cannam@133:   right: 100px;
cannam@133:   top: 100px;
cannam@133:   z-index: 100;
cannam@133:   border: 2px solid black;
cannam@133:   background-color: rgba(196, 196, 196, 0.9);
cannam@133:   text-align: center;
cannam@133:   color: black;
cannam@133:   padding: 30px;
cannam@133: }
cannam@133: 
cannam@133: #next_banner h1 {
cannam@133:   color: black;
cannam@133: 	font-size: 750%;
cannam@133: }
cannam@133: 
cannam@133: #next_banner p {
cannam@133: 	margin: 1em 100px;
cannam@133: }
cannam@133: 
cannam@133: #project_title {
cannam@133:   margin: 0;
cannam@133:   color: #fff;
cannam@133:   font-size: 42px;
cannam@133:   font-weight: 700;
cannam@133:   text-shadow: #111 0px 0px 10px;
cannam@133: }
cannam@133: 
cannam@133: #project_tagline {
cannam@133:   color: #fff;
cannam@133:   font-size: 24px;
cannam@133:   font-weight: 300;
cannam@133:   background: none;
cannam@133:   text-shadow: #111 0px 0px 10px;
cannam@133: }
cannam@133: 
cannam@133: #downloads {
cannam@133:   position: absolute;
cannam@133:   width: 210px;
cannam@133:   z-index: 10;
cannam@133:   top: 50px;
cannam@133:   right: 0px;
cannam@133:   background: url('../images/icon_download.png') no-repeat 0% 90%;
cannam@133: }
cannam@133: 
cannam@133: .zip_download_link {
cannam@133:   display: block;
cannam@133:   float: right;
cannam@133:   width: 90px;
cannam@133:   height:70px;
cannam@133:   text-indent: -5000px;
cannam@133:   overflow: hidden;
cannam@133:   background: url(../images/sprite_download.png) no-repeat bottom left;
cannam@133: }
cannam@133: 
cannam@133: .tar_download_link {
cannam@133:   display: block;
cannam@133:   float: right;
cannam@133:   width: 90px;
cannam@133:   height:70px;
cannam@133:   text-indent: -5000px;
cannam@133:   overflow: hidden;
cannam@133:   background: url(../images/sprite_download.png) no-repeat bottom right;
cannam@133:   margin-left: 10px;
cannam@133: }
cannam@133: 
cannam@133: .zip_download_link:hover {
cannam@133:   background: url(../images/sprite_download.png) no-repeat top left;
cannam@133: }
cannam@133: 
cannam@133: .tar_download_link:hover {
cannam@133:   background: url(../images/sprite_download.png) no-repeat top right;
cannam@133: }
cannam@133: 
cannam@133: #main_content_wrap {
cannam@133:   background: #f2f2f2;
cannam@133:   border-top: 1px solid #111;
cannam@133:   border-bottom: 1px solid #111;
cannam@133: }
cannam@133: 
cannam@133: #main_content {
cannam@133:   padding-top: 40px;
cannam@133: }
cannam@133: 
cannam@133: #footer_wrap {
cannam@133:   background: #212121;
cannam@133: }
cannam@133: 
cannam@133: 
cannam@133: 
cannam@133: /*******************************************************************************
cannam@133: Small Device Styles
cannam@133: *******************************************************************************/
cannam@133: 
cannam@133: @media screen and (max-width: 480px) {
cannam@133:   body {
cannam@133:     font-size:14px;
cannam@133:   }
cannam@133: 
cannam@133:   #downloads {
cannam@133:     display: none;
cannam@133:   }
cannam@133: 
cannam@133:   .inner {
cannam@133:     min-width: 320px;
cannam@133:     max-width: 480px;
cannam@133:   }
cannam@133: 
cannam@133:   #project_title {
cannam@133:   font-size: 32px;
cannam@133:   }
cannam@133: 
cannam@133:   h1 {
cannam@133:     font-size: 28px;
cannam@133:   }
cannam@133: 
cannam@133:   h2 {
cannam@133:     font-size: 24px;
cannam@133:   }
cannam@133: 
cannam@133:   h3 {
cannam@133:     font-size: 21px;
cannam@133:   }
cannam@133: 
cannam@133:   h4 {
cannam@133:     font-size: 18px;
cannam@133:   }
cannam@133: 
cannam@133:   h5 {
cannam@133:     font-size: 14px;
cannam@133:   }
cannam@133: 
cannam@133:   h6 {
cannam@133:     font-size: 12px;
cannam@133:   }
cannam@133: 
cannam@133:   code, pre {
cannam@133:     font-size: 11px;
cannam@133:   }
cannam@133: 
cannam@133:   #forkme_banner {
cannam@133:     right: 215px;
cannam@133:   }
cannam@133: 
cannam@133:   #discuss_banner {
cannam@133:     width: 132px;
cannam@133:   }
cannam@133: }
cannam@133: 
cannam@133: #infinitely_faster img{
cannam@133:   position: absolute;
cannam@133:   left: 600px;
cannam@133:   top: 266px;
cannam@133:   z-index: 10;
cannam@133:   max-width:222px;
cannam@133: }
cannam@133: 
cannam@133: body.narrow #infinitely_faster{
cannam@133:   display:none;
cannam@133: }
cannam@133: 
cannam@133: body.wide #corner_hack, body.normal #corner_hack {
cannam@133:   position: absolute;
cannam@133:   left: 0px;
cannam@133:   top: 209px;
cannam@133:   right: 0px;
cannam@133:   height: 10px;
cannam@133:   background: #212121;
cannam@133: }
cannam@133: 
cannam@133: body.wide #corner_hack>div, body.normal #corner_hack>div {
cannam@133:   margin-left: 249px;
cannam@133:   height: 10px;
cannam@133:   border-radius: 10px 0px 0px 0px;
cannam@133:   background: #f2f2f2;
cannam@133:   border-top: 1px solid #111;
cannam@133:   border-left: 1px solid #111;
cannam@133: }
cannam@133: 
cannam@133: body.wide #menu, body.normal #menu {
cannam@133:   position: absolute;
cannam@133:   left: 50px;
cannam@133:   top: 494px;
cannam@133:   width: 250px;
cannam@133:   z-index: 10;
cannam@133: }
cannam@133: 
cannam@133: body.wide #menu.floating, body.normal #menu.floating {
cannam@133:   position: fixed;
cannam@133:   top: 50px;
cannam@133: }
cannam@133: 
cannam@133: body.narrow #menu {
cannam@133:   position: relative;
cannam@133:   max-width: 640px;
cannam@133:   padding: 50px 10px 0px 10px;
cannam@133:   margin: 0 auto;
cannam@133: }
cannam@133: 
cannam@133: @media screen and (max-width: 480px) {
cannam@133:   body.narrow #menu {
cannam@133:     min-width: 320px;
cannam@133:     max-width: 480px;
cannam@133:   }
cannam@133: }
cannam@133: 
cannam@133: #menu ul {
cannam@133:   padding: 0;
cannam@133:   margin: 0;
cannam@133: }
cannam@133: 
cannam@133: #menu li {
cannam@133:   margin: 0;
cannam@133:   list-style-type: none;
cannam@133:   background-color: #212121;
cannam@133: }
cannam@133: #menu>ul>li>a, #menu>ul>li.selected {
cannam@133:   display: block;
cannam@133:   padding: 10px 15px 10px 15px;
cannam@133: }
cannam@133: #menu>ul>li {
cannam@133:   border-right: 1px solid #111;
cannam@133: }
cannam@133: 
cannam@133: body.wide #menu>ul>li:last-child, body.normal #menu>ul>li:last-child {
cannam@133:   border-radius: 0px 0px 10px 10px;
cannam@133:   border-bottom: 1px solid #111;
cannam@133: }
cannam@133: 
cannam@133: body.wide #menu>ul>li:first-child, body.normal #menu>ul>li:first-child {
cannam@133:   border-radius: 10px 10px 0px 0px;
cannam@133:   border-top: 1px solid #111;
cannam@133: }
cannam@133: 
cannam@133: body.narrow #menu>ul>li:first-child {
cannam@133:   border-radius: 10px 10px 0px 0px;
cannam@133: }
cannam@133: 
cannam@133: body.narrow #menu>ul>li:last-child {
cannam@133:   border-radius: 0px 0px 10px 10px;
cannam@133: }
cannam@133: 
cannam@133: #menu a {
cannam@133:   color: #aaa;
cannam@133: }
cannam@133: 
cannam@133: #menu li.selected {
cannam@133:   background-color: #2a2a2a;
cannam@133:   color: #fff;
cannam@133: }
cannam@133: 
cannam@133: #menu li.selected a {
cannam@133:   color: #fff;
cannam@133: }
cannam@133: 
cannam@133: #menu>ul>li:hover {
cannam@133:   background-color: #2a2a2a;
cannam@133:   cursor: pointer;
cannam@133: }
cannam@133: 
cannam@133: #menu>ul>li.selected:hover {
cannam@133:   background-color: #2a2a2a;
cannam@133:   cursor: auto;
cannam@133: }
cannam@133: 
cannam@133: #menu>ul>li.selected:hover {
cannam@133:   cursor: auto;
cannam@133: }
cannam@133: 
cannam@133: #menu>ul>li:hover a {
cannam@133:   color: #eee;
cannam@133: }
cannam@133: 
cannam@133: #menu>ul>li.selected:hover a {
cannam@133:   color: #fff;
cannam@133: }
cannam@133: 
cannam@133: ul#toc {
cannam@133:   background-color: #2a2a2a;
cannam@133:   margin: 0;
cannam@133:   font-size: 80%;
cannam@133: }
cannam@133: 
cannam@133: #toc ul {
cannam@133:   margin: 0;
cannam@133:   padding: 0;
cannam@133: }
cannam@133: 
cannam@133: #toc li {
cannam@133:   padding: 0 0 0 15px;
cannam@133:   background-color: #2a2a2a;
cannam@133: }
cannam@133: 
cannam@133: #menu p {
cannam@133:   padding: 2px 0 2px 15px;
cannam@133:   margin: 0;
cannam@133:   text-indent: -15px;
cannam@133: }
cannam@133: #menu p:hover {
cannam@133:   background-color: #313131;
cannam@133:   cursor: pointer;
cannam@133: }
cannam@133: 
cannam@133: table.pass-fail td { text-align: center; vertical-align: middle; }
cannam@133: table.pass-fail td:first-child { text-align: left; }
cannam@133: table.pass-fail td.pass { background-color: #8f8; }
cannam@133: table.pass-fail td.fail { background-color: #f88; }
cannam@133: table.pass-fail td.warn { background-color: #ff8; }
cannam@133: