/*
  This is the CSS file for documents generated by info2html and infocat.
  Put this wherever you like in your web server, just so long as
  info2html.conf's $HTML_HEAD_STUFF has the right URL for linking to it.
  By default, info2html.conf assumes this will be in the document root,
  and called info2html.css

  Most of this is by Sean Burke (sburke@cpan.org), 2006.
  You are very welcome to modify it to your tastes.

  You can even do without this file altogether; just mod $HTML_HEAD_STUFF
  to not link to any stylesheet at all.
*/

A:hover { background: cyan }

@media print {
  .nav, .generator { display: none }
  * {
#    color: #000 !important;
#    background-color: #fff !important;
    border-color: #000 !important;
  }

  /* body { font-size: smaller; }  */
}

@media screen {
  /* body { font-size: smaller; } */

#  body {
#    color:            #ffffff;
#    background-color: #22095b;
#  }
  body.error { font-size: 150%; }
  body.error > h1 {
    border-top:  .2em #f00 dashed;
  }

#  a { color: white; }
#  a:link    { color: #d5d5ff !important; text-decoration: underline;}
#  a:visited { color: #c8a0ff !important; text-decoration: underline;}
#  a:active  { color: #ffa0a0 !important; text-decoration: underline;}
  h1,h2 {
    margin-top: .2em;
    padding-top: .2em;
    border-top: 2px #888 solid;
  }
  .navbottom {
    border-top: 2px #888 solid;
  }
  .nav a {
    padding-left:  .6em;
    padding-right: .6em;
    white-space: nowrap;
    line-height: 1.5em;
  }
  .nav em { font-size: smaller; }
  .nav {
    text-align: center;
  }
#  h1 { background-color: #000000; }
#  h2 { background-color: #040040; }
h1 { color: #9b4703;}
h2 { color: #9b4703;}
h3 { color: #397cbd;}
}


.icon {
  background-color: #000;
  color: #0dd !important;
  padding: 0px 4px;
  border: 1px #0dd solid;
  text-decoration: none !important;
}

a:hover > .icon, a:focus > .icon {

#  background-color: #009 !important;
#  border-color: #3ff;
#  color: #3ff !important;
}

h2 .base { padding-right: .5em;  }

ul { margin-top:    .7em; }
li { margin-bottom: .7em; }

h1,h2 {
  margin-bottom: .2em;
  padding-bottom: 0;
  text-align: center;
}

h3 {
  margin-bottom: 0;
  padding-bottom: 0;
  margin-left: 5em;
  font-style: italic;
}

pre {
  margin-top: 0;
  margin-bottom: 0;
  padding-top: 0;
  padding-bottom: 0;
}

img {  background-color: #888; vertical-align: middle; }
.generator { color: #888; font-size: smaller; text-align: right; }

/* End */