/* nav.css - make some pretty navigation
 *
 * D Provine, 13 Feb 2013
 */

.tabblock {
      margin-top: 3ex;
}

.tabsbar {
     background: inherit;
         margin: 0px 15px;
    padding-top: 5px;
}

.tabsbar li {
            list-style-type: none;
                    display: inline;
                     margin: 0px 3px;
                    padding: 4px 8px 1px 8px;
     border-top-left-radius: 8px;
    border-top-right-radius: 8px;
           background-color: #dd9999;
                      color: black;
                    z-index: -1;
}

.tabsbar li.thistab {
               color: #e9e5cd;
    background-color: #8b0000;
             z-index: 1;
}

.cardstack {
    background-color: white;
    position: relative;
    border: 4px solid #8b0000;
    border-radius: 10px;
    z-index: 0;
}

.cardstack p {
    margin: 1ex;
}

.content {
    margin: 1ex;
    height: 20em;
    overflow: scroll;
}

.content select {
         font-size: 100%;
           width: 90%;
          height: 19em;
     margin-left: auto;
    margin-right: auto;
          border: 1px solid #8b0000;
}

blockquote {
    padding-left: 3em;
}

.card div.banner {
             padding: 5px 10px;
    background-color: #8b0000;
               color: #e9e5cd;
}

table.examples {
         margin-top: 1ex;
      margin-bottom: 1ex;
        margin-left: auto;
       margin-right: auto;
    border-collapse: collapse;
             border: 1px solid #8b0000;
}

table.examples caption {
    font-weight: bold;
      font-size: 110%;
}

table.examples tr td {
           padding: 5px;
       padding-top: 1ex;
    vertical-align: top;
}

table.examples tr td.expr {
       text-align: right;
    padding-right: 15px;
}


#vocabhints {
    margin-left: 2em;
    list-style-type: decimal;
}

#vocabhints li {
    list-style-type: decimal;
    margin: 1ex;
}