    /* Overloading some Bootstrap CSS */
    /* The important tag is used to as a universal override */


body {
    font-family: Verdana, Arial, sans-serif;
    font-size: 87.5% !important; // Change from 16pt to 14pt as standard font size
    padding: 2rem ;
    margin: 0 auto 0 auto;
    max-width: 70rem;
}


/* Font size gets overridden in dropdown menus, so we invent classes */

.font100{
    font-size: 100%;
}
.font875{
    font-size: 87.5%;
}
.font766{
    font-size: 76.6%;
}

.header{
    background-color: #fefefe;
    position: fixed;
    top:0px;
    max-width: 70rem;
    margin-left: auto;
    margin-right: auto;
    width: 100%;
    z-index: 1030;  /* Matches fixed-top in bootstrap.css */
}

.content{
    margin-top: 12rem;  /* Skip down over fixed navigation bar */
    max-width: 94%;   /* Accommodations for small screens */
    margin-left: auto;
    margin-right: auto;
}

.maxwidth-85{
/* This is to constrain col-auto to 85% of width */
   max-width: 85%;  
}

/* Thin row options on tables */
.table.thinrow th,
.table.thinrow td {
    padding-top: 0.2rem;
    padding-bottom: 0.2rem;
}

/* Medium row options on tables */
.table.medrow th,
.table.medrow td {
    padding-top: 0.35rem;
    padding-bottom: 0.35rem;
}

/* Borderless tables are a pain! */
.table.borderless th{
    border-top: 0px solid #eceeef;  /* #ffff00; */
}

.table.borderless td {
    border-top: 0px solid #eceeef;  /* #ffff00; */
}

.table.borderless thead th {
    border-bottom: 0px solid #eceeef; /* #ff0000;*/
}

.table.borderless tbody td {
    border-bottom: 0px solid  #eceeef; /*#00ffff; */
}

.table.borderless tbody th {
    border-bottom: 0px solid #eceeef; /*#0000ff; */
}

/* End borderless table modification */

hr{
    //   border-style: inset;
    border-width: .2em;  
}

hr.end-header { 
    display: block;
    width: 97%  //to match header width
}


hr.dg {
    margin-top: .5rem;
    margin-bottom: .5rem;
    width: 80%;
    border: 0;
    border-top: 3px solid rgba(0, 105, 62, 0.4);
    //    border-top: 4px solid rgba(255,0,0, 0.4);
}

hr.dg100 {
    margin-top: .5rem;
    margin-bottom: .5rem;
    width: 100%;
    border: 0;
    border-top: 3px solid rgba(0, 105, 62, 0.4);
    //    border-top: 4px solid rgba(255,0,0, 0.4);
}

hr.thin{
    border-width:.1em;
}




/* These change the link color in the body of the document */
a {
    /* darker than Dartmouth Green #46785a=rgba(0, 105, 62, 1.0) */
    color: rgba(0, 75, 44, 1.0)  !important;  
    text-decoration: none !important;
}

a:hover {
    color: rgba(0, 105, 62, 0.7) !important;     /* Dartmouth Green #78998b at 70%*/
    text-decoration: none !important;
}

/* Bootstrap has its own <disabled> attribute, but it does not apply to
simple links so we add an inactive attribute --- really would like to
disable the link with a rewrite */

/* This can be made to work, but to reactivate a link you must edit the web page */
/* A simpler solution is to change <a href ...> to <na href ...>, but you still have to edit the web page */
a:hover.inactive {
    //    color: #636c72 ;
    color: #ff0000 !important;
    cursor: not-allowed; /* This displays an icon, but the link is still active */
    pointer-events: none; /* This really deactivates the pointer action */
}


/* Changing the link color in navigation bars */

.nav-link {
    color: rgba(0, 75, 44, 1.0) !important;     /* darker than Dartmouth Green */
}


} 
