.important
{
    color: red;
}

body
{
    margin-left:  2em;
    margin-right: 2em;

    font-size: 16px;
    font-family: sans-serif;

/*
        border: 1pt solid;
        border-color: red;
*/
}
/* This keeps the head fixed (no scroll), 
   but then the head extends too far to the right. Why??
   Temporarily commented-out until I understand this...

.page-head
{
    position: fixed;
    margin-top: 1em;
    background: #FFFFFF;
    width: 100%;
}
.page-body
{
    margin-top: 7em;
}
*/
/* --- */

.page-body
{
    margin-left:  3em;
    margin-right: 3em;
    margin-bottom: 3em;
    padding-top: 2em;

    font-size: normal;
    clear: both;
}
.page-body p
{
    line-height: 1.3em;
}
.page-body hr
{ 
    background-color: lightgray;
    color: lightgray;
    height: 1px;
    border: none;
}
.banner
{
}
.banner h1
{
    font-size: 3em;
    line-height: 1.0;
    text-align: left;
    font-variant: small-caps; 
    font-style: italic;
    color: black;

    margin-top:    0;
    margin-bottom: 0;

    padding-left:  0.2em;
    padding-right: 0.2em;
    padding-top:    0;
    padding-bottom: 0;
}
.banner table
{
    border-collapse: collapse;
    border-spacing: 0;
}
.banner img
{
    padding: 0;
    margin: 0;
    vertical-align: baseline;
    color: black;
    height: 4em;
    width:  4em;
}
.page-title
{
	text-align:center;
    color: gray;
    margin-bottom: 0;
/*
        border: 1pt solid;
        border-color: red;
*/
}
@media only screen and (max-device-width: 480px)
{
    .page-title
    {
        margin-top: 0;
    }
}
.number-of-articles
{
    font-size: 1.5em;
	text-align:center;
    color: gray;
}
/*
.article-up
{
    vertical-align: top;
    padding-bottom: 1em;
}
.article-prev
{ 
    vertical-align: top;
    text-align: center;
}
.article-next
{ 
    vertical-align: top;
    text-align: center;
}
*/
@media only screen and (max-device-width: 480px)
{
    .banner h1
    {
        font-size: 2.4em;
    }
    .banner img
    {
        height: 4em;
        width:  4em;
    }
    body 
    {
        margin-left:  1em;
        margin-right: 1em;

        font-size: 16px;
    }
}
@media only screen and (max-device-width: 360px)
{
    .banner h1
    {
        font-size: 2.0em;
    }
    .banner img
    {
        height: 3em;
        width:  3em;
    }
    body 
    {
        margin-left:  1em;
        margin-right: 1em;

        font-size: 16px;
    }
}
@media screen and (max-width: 40em)
{
    body
    {
        margin-left:  1em;
        margin-right: 1em;
    }
    .page-body
    {
        margin-left:  0em;
        margin-right: 0em;
    }
}
/* ========================================================= *\
        navigation menus
\* ========================================================= */
.nav ul
{
	/* No bullets */
	list-style-type: none;

    /* To eliminate (browser default) space reserved for bullets in lists */
    padding-left: 0;

    /* To reduce space between the two lines */
    margin-top: 0;
    margin-bottom: 0;

    height: auto;

	text-align: center;
}
.nav li
{
    color: gray;
	text-align: center; 
    font-size: 1.0em;
    display: inline;
    padding-left: 0.5em;
    padding-right: 0.5em;

    /* Tweak to eliminate extra space to the right of the divider-lines */
    margin-left: -0.3em;

    line-height: 1.5em;  /* So lines don't overlap when wrapped */

    /* Put thin separator-lines between the navigation links */
	border-right: 1px solid;
    border-spacing: 0px;
	border-color: lightgray;
}
.nav-list
{
    margin-top: 0em;
	text-align: center; 
}
.nav-list li
{
/*    line-height: 1.5em; */
    line-height: 0em;
}
.nav-abs
{
    margin-top: 0em;
	text-align: center;

    /* To center the whole thing */
    margin: auto;
    width: 10em;
}
.nav-abs li
{
/*    line-height: 1.5em; */
    line-height: 0em;

    /* Omit thin separator-lines between the navigation links */
	border-right: none;
}
.nav li:last-child
{
	border-right:  none;
}
.nav-main hr
{ 
    background-color: black;
    color: black;
    height: 4px;
    border: none;

    /* To reduce space between the two lines */
    margin-top:    0.2em;
    margin-bottom: 0.2em;
}
@media only print
{ 
    .nav-main hr
    {
        height: 0px;
        border-top: solid 4px black;
    }
}

/* ========================================================= *\
        links
\* ========================================================= */
a:link, 
a:visited
{
    color: blue;
    text-decoration: none;
    outline: 0;
}
a:hover,
a:active
{
    color: blue;
    text-decoration: underline;
    outline: 0;
}
/*
.nav a:link, 
.nav a:visited
{
    color: blue;
    font-weight: lighter;
    text-decoration: none;
    outline: 0;
}
.nav a:hover,
.nav a:active
{
    color: gray;
    font-weight: lighter;
    text-decoration: underline;
    outline: 0;
}
*/
.urhere span
{
    color: black;
    font-weight: normal;
}
/*
.nav .urhere span
{
    border-top: solid 3px mediumaquamarine;
    border-bottom: solid 3px mediumaquamarine;
*/
/*    border-radius: 6px; */
/*
    padding-top: 1px;
    padding-bottom: 1px;
}
*/
/* ========================================================= *\
        home page
\* ========================================================= */
.welcome
{
    font-size: 2.5em;
	font-family: sans-serif;
	text-align: center; 
    color: darkblue;
    margin-top: 0;
    margin-bottom: 0;
}
.welcome-words
{
/*
    background: -moz-linear-gradient(   bottom, darkblue 0%, aqua 150%);
    background: -o-linear-gradient(     bottom, darkblue 0%, aqua 150%);
    background: -ms-linear-gradient(    bottom, darkblue 0%, aqua 150%);
    background: -webkit-linear-gradient(bottom, darkblue 0%, aqua 150%);
    background: linear-gradient(        to top, darkblue 0%, aqua 150%);
*/
    color: darkblue;
/*
    -webkit-text-fill-color: transparent;
    -webkit-background-clip: text;
    background-clip: text;
*/
}
.signature
{
    margin-left: 2em;
    text-align: right;
    font-style: normal; 
/*
    font-style: italic; 
*/
}
.signature-proxy
{
    font-style: normal; 
}

/* ========================================================= *\
        tail
\* ========================================================= */
.page-tail
{
    font-size: 80%;
    color: gray;
}
.page-tail hr
{ 
    background-color: lightgray;
    color: lightgray;
    height: 1px;
    border: none;
}
@media only print
{ 
    .page-tail hr
    {
        height: 0px;
        border-top: solid 1px lightgray;
    }
}
.page-tail table
{
    /* Should be same width as body */
    width: 100%;
}
.page-tail table td
{
    /* Make sure that each of the 3 items takes 1/3 of the space,
       because this ensures that the middle item is centered. */
    width: 33%;  
    text-align: center;
}
.page-tail table td:first-child
{ 
    text-align: left;
}
.page-tail table td:last-child
{ 
    text-align: right;
}
.page-tail ul
{ 
	padding-left: 0em;
}
.page-tail ul li
{ 
    padding-bottom: 1em;
}
@media screen and (max-width: 40em)
{
    /* 
        Transpose the tail-table when the view is narrow
    */
    .page-tail table tr
    {
        display: block;
    }
    .page-tail table th,
    .page-tail table td
    {
        display: block;
        width: 100%;
    }
    .page-tail table td:first-child,
    .page-tail table td:last-child
    {
        text-align: center;
    }
}

/* ========================================================= *\
        site map
\* ========================================================= */
.site-map ul
{
    line-height: 1.3em;
}
/* ========================================================= *\
        article lists and site log
\* ========================================================= */
.allPosts
{
	/* No bullets */
	list-style-type: none;

    /* To eliminate (browser default) space reserved for bullets in lists */
    padding-left: 0px;
}
.onePostWrapper
{
    padding-bottom: 10px;
    margin-left: 0;
}
.onePost
{
    border-top:  1px solid lightgray;
    border-left: 1px solid lightgray;
    padding: 5px;
    height: auto;
    background: linear-gradient( to left, lightgray, white )
}
.post-label
{
    color: gray;
    font-weight: lighter;
}
.post-value
{
}
.section-header
{
    color: gray;
}
.post-header
{
    font-size: 80%;
}
.onePost table
{
    width: 100%;
}
.onePost table td
{
    width: 50%;  
}
.onePost table td:first-child
{
    text-align: left;
}
.onePost table td:last-child
{
    text-align: right;
}
.post-body
{
    margin-top: 0.2em;
    line-height: 1.3em;
}
.concise-cite th
{
    padding-top: 1em;
}
.concise-cite th
{
    font-weight: bold;
    text-align: center;
    padding-right: 1em;
}
.concise-cite td
{
    text-align: center;
    padding-right: 1em;
}
.concise-cite th:last-child
{
    text-align: left;
    padding-right: 0em;
}
.concise-cite td:last-child
{
    text-align: left;
    padding-right: 0em;
}

/* ========================================================= *\
        article cards
\* ========================================================= */
.article-card
{
    background: linear-gradient( to left, lightgray, white );
    padding-left: 5px;
    padding-right: 5px;
    padding-top: 5px;

    margin-top: 1em;

    border-top:  1px solid lightgray;
    border-left: 1px solid lightgray;
}
.post-header
{
    width: 100%;
    table-layout: fixed;
}
.post-header td
{
    text-align: center;
}
.post-header td:first-child
{
    width: 70%;  
    text-align: left;
}
.post-header td:last-child
{
    text-align: right;
}
@media only print
{ 
    .article-card
    {
        border: solid 1px lightgray;
    }
}
.article-title
{
/*
    font-weight: bold;
    padding-top: 4px;
*/
    line-height: 1.0;
    font-size: 175%;
}
.article-abstract
{
    padding-bottom: 0px;
    margin-bottom: 0px;
}
.article-download
{ 
/*
    float: right;
    clear: none;
    background: white;
*/
    margin-top: 1em;
    padding-top: 0em;
    padding-bottom: 4px;

	/* Same as width of page-content */
    width: 100%;
}
.article-download .pdf-letters
{
    text-align: center;
    font-size: 120%;
}
.article-cites ul
{
	/* No bullets */
	list-style-type: none;
}
.revision-history-header
{
    text-align: center;
    color: gray;
    margin-top: 2em;
    margin-bottom: 0;
}

/* ========================================================= *\
        other
\* ========================================================= */
.quotable
{
    text-align: center;
    color: darkorchid;
    font-style: italic;
    font-weight: bold;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
/*
        border: 1pt solid;
        border-color: red;
*/
}
.main-info-line
{
    font-weight: bold;
    font-size: 1.5em;
	text-align: center; 
}
.main-info
{ 
    font-weight: normal;
    padding-left: 0.5em;
}
.site-name-inline
{
    font-style: italic;
    font-weight: bold;
}
.nowrap
{
    white-space: nowrap;
}
.whats-new-list
{
    line-height: 1.3em;
    margin-bottom: 1em;
    padding-bottom: 0;
}
.no-entries
{
    text-align: center;
}
.drafts
{
    text-align: left;
}
.drafts th
{
    font-weight: normal;
}
.drafts-table-label
{
    border-bottom: 1px solid;
    font-weight: bold;
}
.drafts th:first-child,
.drafts td:first-child
{
    text-align: center;
    padding-right: 1em;
    line-height: 1.5em;
}
/* ========================================================= *\
        copyright
\* ========================================================= */
.example-citations ul li
{
    padding-bottom: 1em
}