body
{
color: black;
}

a:link {
color: #5555cc;
text-decoration: underline;
}

a:visited {
color: #000066;
text-decoration: underline;
}

/* Navbar related --------------------------------------------------- */

#navbar
{
position: absolute;
left: 0.5em;
max-width: 11em;
background-color: #80a0a0;
color: white;
text-align: left;
}

#navbar li
{
overflow: hidden;
}

#navbar li:hover
{
overflow: hidden;
background-color: #608080;
}

#navbar ul
{
list-style-type: none;
margin-top: .5em;
margin-bottom: .8em;
/*
  It's browser dependent which one of margin-left: and padding-left: we need to
  cancel the default list indentation.
*/
margin-left: 0em;
padding-left: 0.5em;
padding-right: 0.5em;
}

#navbar a
{
overflow: hidden;
font-size: small;
font-weight: 500;
color: white;
text-decoration: none;
font-family: sans-serif;
}

#navbar a.gold
{
color:gold;
}

#navbar ul ul
{
  margin-top: 0em;
  margin-bottom: 0em;
  padding-left: 0.75em;
}

/* -------------------------------------------------------------------------- */

#top
{
}

/* Two-column what is/isn't it layout --------------------------------------- */

.no-vert-margins
{
  margin-top: 0em;
  margin-bottom: 0em;
}

#leftwhat
{
float: left;
width: 50%;
padding: 0.1px; /* rounds down to 0, but prevents margin collapse */
padding-left: 1.5em;
padding-right: 0;
margin-right: 0;
}

#rightwhat
{
margin-left: 50%;
border-left: 2px solid #e8e8e8;
padding: 0.1px; /* rounds down to 0, but prevents margin collapse */
padding-left: 1.5em;
}

#wrap
{
position: relative;
width: 100%;
margin:0 auto;
font-size: .9em;
}

#endwrap
{
    clear: both;
    border-top: 2px solid #e8e8e8;
}

/* main --------------------------------------------------- */

#main
{
position: relative;
left: 12em;
margin-right: 22em;
min-width: 45em;
}

#main h1
{
font-weight: bold;
color: #99003f;
}

#main h2
{
font-size: 1.2em;
color: #99003f;
}

#main h3
{
font-size: 1.1em;
color: #99003f;
margin-bottom: 0ex;
}

#main h4
{
  font-size: .95em;
  font-style: normal;
}

#main .catchphrase
{
margin-top: 1ex;
margin-left: 6px;
margin-right: 6px;
text-align: left;
font-style: italic;
padding-left: 6px;
}

#main ul
{
}

#main .command
{
margin-bottom: 1ex;
margin-top: 1ex;
text-align: center;
font-family: monospace;
}

#main li
{
position: relative;
left: -1.5em;
overflow: visible;
}

/* Header/footer styles -----------------------------------------------*/

#big-title
{
font-family: sans-serif;
font-size: 5em;
color: #990033;
margin-top: 0em;
margin-bottom: 0em;
margin-left: 6px;
margin-right: 6px;
padding-left: 4px;
}

#medium-title
{
font-family: sans-serif;
font-size: 3em;
margin-bottom: 0.2em;
}

/* Footer */

#footer
{
position: relative;
font-size: 0.7em;
border-top: 2px solid #e8e8e8;
text-align: center;
}

/* rounded cartouche -------------------------------------------------------- */

.cartouche
{
background: #e8e8e8;
border-radius: 8px;
padding: 4px;
}

/* miscellaneous styles ---------------------------------------------- */

table#mirroradmin
{
  width:90%;
  margin-left:5%;
  margin-right:5%;
  border:2px solid black;
}

table.deben
{
  width:85%;
  margin-left: 7.5%;
  margin-right: 7.5%;
  border:1px solid black;
  border-collapse: collapse;
}

table.deben td,
table.deben th
{
  border-width: 1px;
  border-style: solid;
}

div#main .indent
{
    position: relative;
    margin-left: 2.5em;
}

ul.spaced li
{
  margin-top: 2ex;
}

ul.compact li
{
  margin-top: 0em;
}

.nodisplay
{
    display: none;
}

.smaller
{
    font-size: smaller;
}

.center
{
    text-align: center;
}

.right
{
    text-align: right;
}

/* pkglist related --------------------------------------------------- */

/*
  use a fixed table layout because the table is huge, and so with auto layout it
  can take a noticable time to load it all, before the browser can finalize the
  column widths.
*/

table.pkglist {
  table-layout: fixed;
  width: 100%;
}

.pkglist td.pkgname {
  width: 22.5em;
}

.pkglist tr:hover {
  background-color: #e8e8e8;
}

.pkglist a {
    background: url('https://sourceware.org/icons/ball.gray.gif')
                no-repeat;
    background-size: 10px 10px;
    background-position: left center;
    padding-left: 10px;
}

/* pkg summary related ---------------------------------------------------- */

.detail
{
  color: #99003f;
}

table.pkgtable
{
  border-collapse: collapse;
  border:1px solid black;
}

table.pkgtable td,
table.pkgtable th
{
  border-width: 1px;
  border-style: solid;
}

/* category-list related --------------------------------------------------- */

#category-list
{
    -moz-column-width: 5em;
    -webkit-column-width: 5em;
    column-width: 5em;
    width: 50%;
    margin: auto;
}

/* packaging related --------------------------------------------------- */

table.sample-email
{
    margin-left: 5%;
    margin-right: 5%;
    border-collapse: collapse;
}

table.sample-email td
{
    border-width: 1px;
    border-style: solid;
}

.sample-preformat
{
    margin-left:5%;
    margin-right:5%;
}