@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;
}

.not-shown-to-humans {
    display: none;
}

.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;
}

.confirm-bulk-operation {
    background-color: #ffdddd;
    padding: 2em;
    display: block;
    border: solid black 1rem;
    font-size: 120%;
}
.confirm-bulk-operation h2 {
    margin: 0;
}
.confirm-bulk-operation ul {
    margin: 2em;
}

.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;
}