/* Reset */
html, body, h1, h2, h3, h4, h5, h6, p, ol, ul, li, pre, code, address, variable, form, fieldset, blockquote {
 padding: 0;
 margin: 0;
 font-size: 100%;
 font-weight: normal;
}
table { border-collapse: collapse; border-spacing: 0; }
td, th, caption { font-weight: normal; text-align: left; }
img, fieldset { border: 0; }
ol { padding-left: 1.4em; list-style: decimal; }
ul { padding-left: 1.4em; list-style:square; }
q:before, q:after { content:''; }

/* Qtrac.eu */
body {
    background-color: #FFFFF0;
    font: 100% verdana, helvetica, sans-serif;
    text-align: left;
}


a:link {
    color: blue;
}

a:link[href^="http://"] {
    background-image: url(external.png);
    background-position: left center;
    background-repeat: no-repeat;
    color: navy;
    padding-left: 15px;
}

a:link[href*="endsoftpatents"] {
    background-image: none !important;
}

a:visited {
    color: green;
}

a:visited[href^="http://"] {
    background-image: url(external.png);
    background-position: left center;
    background-repeat: no-repeat;
    color: darkgreen;
    padding-left: 15px;
}

   
h1 {
    color: #909000;
    font-size: 2em; 
    font-weight: bold;
    margin-bottom: 1em;
    margin-left: 7px;
    margin-top: 7px;
    text-align: left;
}

h2 {
    color: #909000;
    font-size: 1.5em;
    font-weight: normal;
    margin-bottom: 0.75em;
    margin-left: 7px;
    margin-top: 1em;
    text-align: left;
}

h3 {
    color: #909000;
    font-size: 1.25em;
    margin-bottom: 0.5em;
    margin-left: 7px;
    margin-top: 0.75em;
    text-align: left;
}

h4 {
    color: #909000;
    font-size: 1.1em;
    margin-bottom: 0.25em;
    margin-left: 7px;
    margin-top: 0.5em;
    text-align: left;
}

h6 {
    color: #006060;
    font-size: 0.8em;
    margin-bottom: 0.10em;
    margin-top: 0.25em;
    text-align: center;
}

p {
    line-height: 1.2em;
    margin-bottom: 0.5em;
    margin-left: 7px;
    margin-top: 0.5em;
    text-align: left;
}

hr {
    text-align: center;
    width: 60%;
}
 
table {
    border: 0.5em;
    border-color: navy;
    margin: 0.2em;
    padding: 0.2em;
}


pre {
    font: bold 0.8em "lucida console", monaco, monospace;
}

tt {
    font: bold 0.8em "lucida console", monaco, monospace;
}


ul {
    list-style-type: disc;
    margin: 0.25em;
    padding-left: 1.5em;
}

.toc {
    list-style-type: none;
}

.toptoc {
    list-style-type: none;
    padding-left: 0.2em;
}

.navbar {
    background-color:#E9FFE9;
    float: right;
    max-width: 20%;
    min-width: 200px;
}

ul.nav {
    list-style-position: outside;
    margin: 0;
    margin-bottom: 0.25em;
    margin-top: 0.25em;
    padding-left: 1.5em;
}

ul.nav-sub {
    list-style-position: outside;
    margin: 0;
    margin-bottom: 0.25em;
    margin-top: 0.25em;
    padding-left: 1.5em;
}

ul.nav-sub-sub {
    list-style-position: outside;
    margin: 0;
    margin-bottom: 0.25em;
    margin-top: 0.25em;
    padding-left: 1.5em;
}

.nav-caption {
    background-color:#CAFFCA;
    font-weight: bold;
    list-style-type: none;
    margin-bottom: 0.25em;
    margin-top: 0.25em;
    margin-left: 0;
    text-align: center;
}

.nav-caption-first {
    margin-top: 0;
    padding-top: 0;
}

.nav-book {
    list-style-type: none;
    text-align: center;
}

.nav-link {
    font-style: normal;
    list-style-type: disc;
    margin-bottom: 0.2em;
    margin-top: 0.2em;
}

.nav-link-sub {
    font-style: normal;
    list-style-type: circle;
    margin-bottom: 0.2em;
    margin-top: 0.2em;
}

.nav-link-sub-sub {
    font-style: normal;
    list-style-type: square;
    margin-bottom: 0.2em;
    margin-top: 0.2em;
}

.nav-here {
    color: #070799;
    font-style: italic;
    list-style-type: disc;
    margin-bottom: 0.2em;
    margin-top: 0.2em;
}

.nav-here-sub {
    color: #070799;
    font-style: italic;
    list-style-type: circle;
    margin-bottom: 0.2em;
    margin-top: 0.2em;
}

.nav-here-sub-sub {
    color: #070799;
    font-style: italic;
    list-style-type: square;
    margin-bottom: 0.2em;
    margin-top: 0.2em;
}

.nav-dead-sub {
    color: gray;
    font-style: italic;
    list-style-type: circle;
    margin-bottom: 0.2em;
    margin-top: 0.2em;
}

.copyright {
    display: block;
    font-size: 0.8em !important;
    list-style-type: none;
    margin-bottom: 0.25em;
    margin-left: auto;
    margin-right: auto;
    margin-top: 0.25em;
    text-align: center;
}

.copyright-here {
    color: #006060;
    font-style: italic;
}

.title {
    background-color:#FFFFC2;
    margin-bottom: 0;
    padding: 0.1em;
    padding-bottom: 0;
}

.subtitle {
    background-color:#FFFFDA;
    margin-top: 0;
    padding: 0.1em;
    padding-top: 0;
}

.subtitle2 {
    background-color:#FFFFDA;
    margin-bottom: 0;
    margin-top: 0;
    padding: 0.1em;
    padding-bottom: 0;
    padding-top: 0;
}

.subsubtitle {
    background-color:#FFFFDA;
    margin-top: 0;
    padding: 0.1em;
    padding-top: 0;
}

dl {
    margin-left: 0.5em;
}