/* General purpose: */

.hidden { visibility: hidden; }
.odd_row { background: #e9effa; }
.even_row { }
.crossed_row { background: #d3dff5; }
.nowrap { white-space: nowrap; }
.dark-cell { background-color: #cddcf3; }
.light-cell { background-color: #ffffff; }
.hilite {
    border: 1px dotted #000;
    color: #000;
    background: #A9FFA1;
    /* background: #ff0; */
    padding: 0 1px;
}
.qualifier-not {
    padding: 2px;
    /* background: #fff; */
    border: 1px solid #F00;
    color: #F00;
    font-weight: bold;
}
a:hover .hilite, a:active .hilite {
    color: #fff;
    background: #3875D7;
/* border: none; border: 1px solid #3875D7; */
}

/* Sideways...really? You bet! */
/* In order: FF, Safari, IE, Opera */
/* .climbing { */
/*     -moz-transform: rotate(-90deg); */
/*     -webkit-transform: rotate(-90deg); */
/*     filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=3); */
/*     -o-transform: rotate(-90deg); */
/* } */

/* Cart. */
/* .cart-rules { */
/*     font-weight: bold; */
/*     position: fixed; */
/*     right: -2.5em; */
/*     bottom: 2em; */
/*     background-color: #cddcf3; */
/*     border-style: solid; */
/*     border-width: 2px; */
/*     border-color: #3875d7; */
/*     padding: 0.5em; */
/*     padding-bottom: 3em; */
/* } */
/* .cart-image { */
/*     width: 32px; */
/*     height: 25px; */
/* } */

.amigo-logo-img-link {
    float: left;
    padding-right: 5px;
    padding-top: 1px;
    padding-bottom: 1px;
}
.amigo-logo-img {
    height: 45px;
}

/*
 * Pad out the landing box to make it a little more appealing.
 */
.amigo-landing-img {
    /* margin-right: 5px; */
    /* margin-bottom: 5px; */
}

/* .amigo-facet-matrix-bookmark-list { */
/* } */

/*
 * Wrapper for the new standard informational rollup sections.
 */
.amigo-ui-rollup-info {
}
.amigo-ui-rollup-info h3 a {
    border-bottom-style: dotted;
    /* border-bottom-style: solid; */
}
.amigo-ui-rollup-info div {
    background-color: #eeeeee;
    padding-left: 1em;
    padding-right: 1em;
    padding-top: .5em;
    padding-bottom: .5em;
}
.amigo-ui-rollup-header {
}

/*
 * Some work on the ubiquitous search header.
 */
.amigo-autocomplete-explanation-info {
    text-align: left;
}

/*
 * Hints from AmiGO 2 for internal and external terms in anchors.
 * May be added in amigo.linker.
 */
.amigo-ui-term-internal {
    /* background-color: green; */
}
.amigo-ui-term-external {
    background-color: #ffffab;
    border: 1px solid #ffa000;
    /* background-color: #ddddcc; */
    /* outline: solid 1px yellow; */
}

.amigo-ui-progress-label {
    position: absolute;
    left: 50%;
    /* margin-top: 0; */
    /* top: 4px; */
    font-weight: bold;
    text-shadow: 1px 1px 0 #fff;
}

/* A special fix on some pages to prevent the usual margins from
 * throwing off some UI elements (see the progress bar in Facet Matrix).
 */
.amigo-ui-margin-top-zero { margin-top: 0; }
.amigo-ui-margin-top-zero div { margin-top: 0; }
.amigo-ui-margin-top-zero div div { margin-top: 0; }

/*
 * BS3 overrides.
 */

/* Allow wider layouts for search than bs3's default. */
.amigo-ui-wide-max {
    max-width: 2400px;
    /* WARNING: while this addition prevents some weirdness in sizing at
       different levels (e.g. no snapping to size at different screen
       sizes), but I'm worried that it may cause other layout issues
       elsewhere. Keep an eye out for situations where the top-level
       container is not off. */
    width: auto;
}
.navbar { z-index: 100; } /* Default of 1000 interferes with popups etc. */
.page-header { text-align: center; }
.page-header { text-align: center; }
.page-header { text-align: center; }
.amigo-detail-info dt { width: 90px; }
.amigo-detail-info dd { margin-left: 100px; }
.amigo-detail-tab-spacer { margin-top: 1em; }
.amigo-searchbar-tooltip-style {
    font-size: 80%;
    color: #2d6987;
    background: #d9edf7;
    background-color: #d9edf7;
    border-color: #bce8f1;
    /* margin-right: 1em; */
}

/* Turn down the jumbotron from 11. */
.amigo-jumbotron-override {
    /* padding-bottom: 32px; */
    /* padding-top: 32px; */
    padding-bottom: 5px;
    padding-top: 5px;
    margin-bottom: 20px;
}
.amigo-jumbotron-override .lead {
    font-size: 16px;
    margin-bottom: 10px;
}
.amigo-jumbotron-override h2 {
    margin-top: 5px;
    margin-bottom: 10px;
}

/* Essentially, a workaround for div overflow (geneontology/amigo#398) */
/* by removing the bounding boxes. */
.amigo-live-search-results-unbounder {
    border: 0px;
    box-shadow: unset;
}

/* Make the BS3 warning pop a little bit more. */
.alert-warning {
    color: #514023;
    background-color: #ffdea3;
    border-color: #fe9898;
}
.alert-warning .alert-link {
    color: #3b2e18;
}