@charset "UTF-8"; @import url(https://fonts.googleapis.com/css?family=Open+Sans:500,400,300,600,700); @import url(https://fonts.googleapis.com/css?family=Inconsolata); body { padding-top: 50px; padding-bottom: 50px; font-family: "Open Sans"; font-weight: 400; color: #1e1e1e; -webkit-font-smoothing: antialiased; } .navbar { background: white; } /*---------------------------------------------------------------------------*/ /* Make the navbar the same height as the main racket page's navbar */ .navbar-brand, .navbar-nav > li > a { line-height: 60px; height: 60px; padding-top: 0; color: #444 !important; /* override bootstrap.css */ } .navbar-nav > .active > a { color: white !important; /* override bootstrap.css */ } .navbar-btn { margin-top: 13px; margin-bottom: 13px; } /*---------------------------------------------------------------------------*/ .build_green { background-color: #ccffcc; } .build_yellow { background-color: #ffffcc; } .build_red { background-color: #ffcccc; } .doctags-label { font-weight: bold; } table.packages, table.package-details, table.package-versions { width: 100%; } table { border: 1px solid #e5e5e5; } td, th { border-top: 1px solid #e5e5e5; vertical-align: top; padding: 0.5em; } ul.list-inline { display: inline-block; } ul.list-inline li { padding-right: 0; } ul.authors { list-style: none; padding: 0; } ul.authors a { color: black; } .authors-detail ul { margin: 0; } .authors-detail li { margin: 0 0 0.5em 0; } table.packages h2 { font-size: 160%; margin-top: 0; } ul.build-results, ul.module-list { list-style: none; padding: 0; } #search-box { margin: 2em; } .search-results { margin-top: 3em; } .main-page .package-count, .search-results .package-count { font-size: 100%; padding: 0.5em; background: #eee; } input#new_version { width: 6em; } .confirm-package-deletion { background-color: red; padding: 2em; width: 50%; display: block; margin-left: auto; margin-right: auto; text-align: center; color: white; border: solid yellow 1em; } .confirm-package-deletion h2 { margin: 0; } .package-count { font-size: 120%; } .jumbotron .build-status a, .jumbotron .build-status { font-size: 100%; text-decoration: none; } .jumbotron #create-package-link { text-decoration: none; } /* Sortable tables */ th.headerSortUp::after { content: " ▼"; } th.headerSortDown::after { content: " ▲"; } #register-button, #sign-in-button { margin-left: 8px; margin-right: 0px; } .registration-step-container { margin: 2em auto; display: block; width: 44em; } .registration-step-arrow { font-size: 300%; } .registration-step { display: inline-block; background: #5CB85C; /* "success" colour */ padding: 1em; margin: 2em; width: 16em; text-align: center; color: white; text-shadow: 1px 1px 3px #444; border-radius: 10px; } .registration-step h1 { margin: 0.5em; } .registration-step p { font-size: 140%; } .ring-change-link { display: inline-block; padding: 0 0.15em; }