<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html><head><title></title><link type="text/css" rel="stylesheet" id="webdeveloper-generated-content-stylesheet" href="JL-Labs_files/generated_content.css"><style type="text/css">body, td, th { font-size: 12px !important; }</style><script type="text/javascript" src="JL-Labs_files/xpath.js" defer="defer"></script><script type="text/javascript" src="JL-Labs_files/output_pivot.js" defer="defer"></script></head><body><h1>CSS - http://hylafax.sourceforge.net/</h1><ul id="tools"><li><a id="webdeveloper-generated-tool-collapse-all" href="#">Collapse All</a></li><li><a id="webdeveloper-generated-tool-expand-all" href="#">Expand All</a></li></ul><h2><a href="http://hylafax.sourceforge.net/">http://hylafax.sourceforge.net/</a></h2><h3><span class="expanded pivot"></span><a href="http://hylafax.sourceforge.net/css/hyla.css">http://hylafax.sourceforge.net/css/hyla.css</a></h3><div class="output"><pre>body
{ 
  margin: 0px;
  padding: 0px;
  font-family: verdana, arial, sans-serif;
  background-color: #EEF;
/*  font-size: 12px;*/
  }

div#header
{ 
  width: 100%;
  background-color: #CCF;
  padding-bottom: 10px;
  }

#header h2
{ 
  margin: 0;
  padding-top: 10px;
  padding-left: 20px;
  padding-bottom: 10px;
  padding-bottom: 0px;
}

#header p
{ 
  padding-top: 0;
  padding-left: 20px;
  margin: 0;
  font-size: 20px;
 }

div#menu
{ 
  float: left;
  background-color: #AAF;
  font-size: 12px;
  margin-right: 10px;
  width: 120px;
  }

#menu ul {list-style: none; margin: 0; padding:0;
           padding-bottom: 2em;
           text-align: center;}

#menu li {padding: 0.5em 0 0.25em;
           padding-left: .5em;
           padding-right: .5em;
           border-bottom: 1px solid white;
           }
#menu a {
          text-decoration: none;
          padding: 0 0.25em;
          border: 1px solid white;
          background: #CCF;
          position: relative; 
          top: 1em;
          overflow:hidden;
          display:block;
          }

#menu a:link , #menu a:visited {
               text-decoration: none;
               padding: 0.25em;
               color: #331;
               display:block;
               }

#menu a:hover {
                text-decoration: none;
                background-color: #113;
                padding: 0.25em;
                display:block;
                color: white !important;
                }

#body
{ 
  margin-left: 130px;
  margin-right: 10%;
  margin-top: 15px;
/*  margin: 15px;*/
  }

#body h2
{ 
  font-size: 20px;
  border-bottom: solid 1px #33F;
  width: 100%;
  margin: 0;
}

div.pullQuote
{ 
  width: 8em;
  font-size: 24px;
  padding: 10px;
}

div.right
{ 
  text-align: right;

  float: right;
}
.news 
{ 
  background-color: white;
  margin: 20px;
  }

.news table
{ 
  margin-left: 20px;

}
.news th
{ 
  white-space: nowrap;
  }
.news h3
{ 
  background-color:  #DDF;
  border-bottom: solid 2px #CCF;
  margin-bottom: 0;
  padding-bottom: 0;
  padding-left: 10px;
}

div#manpage
{ 
  margin-left: 130px;
  margin-right: 10%;
}

#manpage H2
{ 
  font-size: 18px;
  border-left: solid 2px #99F;
  border-bottom: solid 2px #99F;
  padding-left: 5px;
 }

table#manpagelist
{ 
  margin-top: 10px;
}

div#howto h2
{ 
  font-size 15px;
  border: none;
  background-color: #DDE;
  }
div#howto h3
{ 
  font-size 13px;
  border: none;
  background-color: #DDE;
  }

#htNav
{ 
  float:right;
  background-color: #EEF;
  font-size: 12px;
  }
div#footer
{ 
  margin: 0;
  padding: 0;
  padding-top: 3px;
  margin-top: 10px;
  border-top: solid 2px white;
  clear: both;
}</pre></div></body></html>