/* Small screens: */
@import url("default_mobile.css") only screen and (max-width: 760px);

:link,
:link p,
:link h3
{
    background:      none;
    color:           #B00000;
    text-decoration: none;
}

:link:hover,
:link:hover p,
:link:hover h3
{
    background: #7F0000;
    color:      #F0F0F0;
}

:visited,
:visited p,
:visited h3
{
    background:      none;
    color:           indigo;
    text-decoration: none;
}

:visited:hover,
:visited:hover p,
:visited:hover h3
{
    background: indigo;
    color:      #F0F0F0;
}

body
{
    color:       black;
    font-family: georgia, times, serif;
    font-size:   12pt;
    line-height: 1.2; /* Fix for Firefox line oddness. */
    text-align:  justify;
}
body.home
{
    background-color: #F2F2F2;
}

tt
{
    font-family: consolas, monospace;
    font-size:   11pt; /* NOTE: -1 from body font; not sure if that's right. */
}

h1
{
    font-size:   24pt;
    font-weight: bold;
    font-style:  italic;
    font-family: "Century Gothic", sans-serif;
    text-align:  left;
}

h2
{
    font-size:   16pt;
    font-weight: normal;
    font-style:  italic;
    font-family: "Century Gothic", sans-serif;
    text-align:  left;
}

h3
{
    font-size:     14pt;
    font-weight:   bold;
    font-style:    normal;
    font-family:   "Century Gothic", sans-serif;
    text-align:  left;
}

pre.code
{
    border:       1px solid #202020;
    margin-left:  3em;
    margin-right: 3em;
}

sup
{
    /* We may need to tone this down... */
    line-height: 0px;
}

.content
{
    margin-left:  auto;
    margin-right: auto;
    width:        90%;
}

.content-home
{
    margin-left:  auto;
    margin-right: auto;
    max-width:    900px;
}
.content-home-text
{
    padding:   0px;
    max-width: 67%
}
@media only screen and (max-width: 760px)
{
    .content-home-text
    {
        max-width:   100%
    }
}

.content-top-image
{
    width: 100%;
}

.callout-right
{
    font-family:    times, serif;
    font-size:      16pt;
    font-style:     italic;
    max-width:      27%;
    padding:        3ex 0px 0px 2.10em;
    text-align:     left;
    text-indent:    -1.60em;
    vertical-align: top;
}
@media only screen and (max-width: 760px)
{
    .callout-right
    {
        max-width:      33%;
    }
}

.footer
{
    border-top:  1px solid #202020;
    font-size:   9pt;
    padding-top: 1ex;
}

.hanging-indent
{
    margin-bottom: 0px;
    margin-top:    0px;
    padding-left:  3em;
    text-indent:   -3em;
}

.minor-border
{
    border-bottom:  1px solid #202020;
    padding-bottom: 1ex;
}

.paper-border
{
    background: url('../top.left.shadow.jpg') no-repeat left top;
    padding:    0px 12px;
}

.paper-home
{
    background:    #F9F9F9 url('../bg.lines.png') no-repeat;
    border-bottom: 1px solid #E8E8E8;
    border-right:  1px solid #E8E8E8;
    padding:       2ex 1em;
}

.menu-bar
{
    border-bottom:  1px solid #202020;
    border-top:     2px solid #202020;
    font-size:      13pt;
    margin:         2ex 0;
    text-align:     left;
    text-transform: uppercase;
    width:          100%
}

.menu-bar td
{
    padding: 0.5ex 1em;
}

.sub-menu-bar
{
    border-top:     1px solid #808080;
    font-size:      12pt;
    font-variant:   small-caps;
    text-align:     left;
    text-transform: none;
}

a.abstract p
{
    margin-bottom: 0px;
    margin-left:   0px;
    margin-top:    0px;
    padding-left:  3em;
}
a.abstract h3
{
    margin-bottom: 0px;
    margin-left:   0px;
    margin-top:    0px;
}

div.caption
{
    font-family:  "Segoe UI", sans-serif;
    font-size:    10pt;
    text-align:   center;
    max-width:    100%;
}
div.center
{
    margin-left:  auto;
    margin-right: auto;
    max-width:    100%;
}
div.left
{
    float:        left;
    margin-right: 1em;
    max-width:    100%;
}
div.right
{
    float:        right;
    margin-left:  1em;
    max-width:    100%;
}
div.center img,
div.left   img,
div.right  img
{
    border-style: solid;
    border-width: 1px;
        width:    100%;

}

img.left
{
    float:        left;
    border-style: solid;
    border-width: 1px;
    margin-right: 1em;
}
img.right
{
    float:        right;
    border-style: solid;
    border-width: 1px;
    margin-left:  1em;
}

p.first
{
    margin-top: 0px;
}
p.last
{
    margin-bottom: 0px;
}

span.first-letter
{
    color:        #606060;
    float:        left;
    font-size:    36pt;
    line-height:  36pt;
    margin-top:   -4px;
    margin-right: 2px;
}

#discreet
{
    text-align: center;
    font-size:  1pt;
}