body
{
   font-size: 14pt;
}

/******************************************************/
/*                                                    */
/*  Header: Backgrounds, titles, menu bar, search     */
/*                                                    */
/******************************************************/

header
{
   position: fixed;
   top: 0;
   left: 0;
   white-space: nowrap;

   width: 325px;
   height: 55px;

   background: rgb(230, 230, 230); /* For browsers that don't support gradients */
   background: linear-gradient(to bottom right, rgb(230, 230, 230), rgb(255, 255, 255));
   box-shadow: 0 5px 10px -8px rgb(182, 182, 182);

   z-index: 2;
}

.splash
{
   position: absolute;
   top: 0;
   left: 0;
}

.splash h1
{
   font-size: 24pt;
   text-align: left;
   padding-left: 5px;
}

.splash h2
{
   display: none;
}

.menu-bar
{
   position: absolute;
   bottom: 0;
   left: 0;
}

.menu-bar nav
{
   position: relative;
}

.menu-bar form
{
   display: none;
}

.hover-horiz > li,
.hover-vert > li
{
   font-size: 9pt;
}

.hover-horiz > li,
.hover-vert > li
{
   padding: 5px;
}

.hover-head > .hover-horiz > li,
.hover-head > .hover-vert > li
{
   padding: 5px 5px;
}

/******************************************************/
/*                                                    */
/*  Main area: TOC, Article                           */
/*                                                    */
/******************************************************/

main
{
   z-index: 1;
}

.article-menu
{
   position:fixed;
   top: 55px;
   left: 0;
   bottom: 0;
   width: 325px;
   overflow: scroll;
}

.article-menu li
{
   font-size: 12pt;
}

article
{
   position: relative;
   top: 0;
   left: 325px;
   max-width: 800px;
   padding: 30px;
   min-height: 100%
   min-height: calc(100% - 25px);
}

.article-copyright,
.update-date
{
   text-align: center;
   padding: 0;
   margin: 0;
   line-height: 110%;
   font-size: 10pt;
}

h1
{
   font-size: 24pt;
   margin-bottom: 10pt;
}

h2
{
   font-size: 18pt;
   margin: 8pt 0;
}

h3
{
   font-size: 16pt;
   margin: 6pt 0;
}

h4
{
   font-size: 14pt;
   margin: 4pt 0;
}

h5
{
   font-size: 14pt;
   margin: 2pt 0;
}

p
{
   font-size: 14pt;
   margin-bottom: 10pt;
}

dt
{
   margin-bottom: 10pt;
   font-weight: bold;
}

dd
{
   margin-left: 30px;
   margin-bottom: 10pt;
}

/******************************************************/
/*                                                    */
/*  Footer: Contact and copyright                     */
/*                                                    */
/******************************************************/

footer
{
   position: relative;
   top: 0;
   left: 325px;
   max-width: 800px;
   height: 25px;
   box-shadow: 0 5px 10px -8px rgb(122, 122, 122) inset;
}

.contact
{
   left: 10px;
}

.page-copyright
{
   right: 10px;
}