/* Stylesheet for LKH */

.nocss { display: none; }

a
{
    text-decoration: none;
    padding: 0em 0.3em;
    margin: 0em 0.1em;
}

a:link
{
    color: black;
    border-bottom: dashed black 1px;
}

a:visited
{
    color: black;
    border-bottom: solid black 1px;
}

a:hover
{
    color: navy;
    background-color: #eef;
    border-bottom: solid navy 2px;
}

body
{
    color: black;
    background-color: white;
    padding: 0em;
    border: 0px;
    margin: 0em;
}

#outer_rightheader
{
    float: right;
    width: 35%;
    padding: 0em;
    border: 0px;
    margin: 0em;
}

#inner_rightheader
{
    padding: 0.5em;
    border: 0px;
    border-left: 1px black solid;
    margin: 0em;
}

#inner_rightheader ul
{
    list-style: none;
    padding: 0em;
    margin: 0em;
}

#inner_rightheader ul li
{
    padding: 0em;
    margin: 0.5em;
}

#outer_leftheader
{
    float: right;
    width: 65%;
    padding: 0em;
    border: 0px;
    margin: 0em;
}

#inner_leftheader
{
    padding: 0.5em;
    padding-right: 1.5em;
    border: 0px;
    margin: 0em;
}

#inner_leftheader h1
{
    font-family: "Times";
    font-size: 400%;
    color: blue;
    text-align: center;
    padding: 0em;
    margin: 0em;
}

#inner_leftheader h6
{
    font-size: 100%;
    font-weight: normal;
    text-align: right;
    padding: 0em;
    margin: 0em;
    margin-right: 1em;
}

#inner_leftheader h6 img
{
    vertical-align: bottom;
    padding: 0em;
    margin: 0.1em;
    margin-left: 0.5em;
}

#outer_navbar
{
    clear: both;
    padding: 0em;
    border: 0px;
    margin: 0em;
}

#inner_navbar
{
    padding: 0.5em;
    padding-top: 1.0em;
    border: 0px;
    margin: 0em;
    text-align: center;
}

#inner_navbar ul
{
    list-style: none;
    padding: 0em;
    margin: 0em;
}

#inner_navbar ul li
{
    display: inline;
    padding: 0em;
    margin: 0.5em;
    line-height: 200%;
}

#inner_navbar strong a
{
    color: red;
}

#outer_mainbox
{
    padding: 0em;
    border: 0px;
    margin: 0em;
}

#outer_mainbox a:hover
{
    background-color: white;
}

#inner_mainbox
{
    padding: 1em;
    border: 2px blue dashed;
    margin: 0.5em;
}

#inner_mainbox h1
{
    border-bottom: 2px solid black;
}

#inner_mainbox h2
{
    font-size: 130%;
}

#inner_mainbox h3
{
    font-size: 120%;
    font-weight: normal;
}

#inner_mainbox h4
{
    font-size: 110%;
    font-weight: normal;
    text-decoration: underline;
    margin-left: 0.5em;
    margin-right: 0.5em;
}

#inner_mainbox p
{
    margin-left: 1em;
    margin-right: 1em;
}

#inner_mainbox ol.loalpha
{
    list-style-type: lower-alpha;
}

#inner_mainbox dl.news dt, #inner_mainbox dl.biblio dt
{
    font-weight: bold;
    margin-top: 1em;
    margin-bottom: 0.3em;
}

#inner_mainbox dl.news dd ul
{
    padding-left: 0em;
}

#inner_mainbox img
{
    display: block;
    padding: 0em;
    border: 0em;
    margin: 0.2em auto 0.2em;
}

#inner_mainbox pre
{
    display: table;
    padding: 0em;
    border: 1px gray solid;
    margin: 0.2em auto 0.2em;
}

#inner_mainbox pre.ascii
{
    font-family: monospace;
    font-size: 100%;
    padding: 0em;
    border: 0px;
    margin: 1.5em;
}

#inner_mainbox pre tt
{
    display: block;
    background-color: white;
    padding: 0.8em;
    border: 0em;
    margin: 0em;
    font-family: monospace;
}

#inner_mainbox pre tt .comment
{
    font-style: italic;
    color: #6593cf;
}

#inner_mainbox pre tt .keyword
{
    font-weight: bold;
    color: navy;
}

#inner_mainbox pre tt .type
{
    font-weight: bold;
    color: green;
}

#inner_mainbox pre tt .cbracket
{
    font-weight: bold;
    color: red;
}

#inner_mainbox pre tt .symbol
{
    font-weight: bold;
    color: #990000;
}

#inner_mainbox pre tt .number
{
    color: #993399;
}

#outer_notice
{
    padding: 0em;
    border: 0px;
    margin: 0em;
    font-size: 80%;
    font-family: monospace;
}

#inner_notice
{
    padding: 0em;
    border: 0px;
    margin: 0.5em 1.5em;
}
/*
Stylesheet for LKH (media="screen")
Copyright (c) 2005-2007  Francesco Poli <frx@firenze.linux.it>
Copyright (c) 2006-2010  Alfonso Vacca <alfonso.vacca@nuvolinux.org>

This work is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License, version 2,
as published by the Free Software Foundation.

This work is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this work; if not, write to the Free Software Foundation, Inc.,
51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA
*/