/*
 * $Id: manpage.css,v 1.5 2004/10/01 00:10:49 jenglish Exp $
 * Author:      Joe English, <jenglish@flightab.com>
 * Created:     26 Jun 2000
 * Description: CSS stylesheet for TCL man pages
 */

HTML {
    background:         #FFFFFF;
    color:              black;
}

BODY {
    background:         #FFFFFF;
    color:              black;
}

DIV.body {
    margin-left:        10%;
    margin-right:       10%;
}
DIV.header,DIV.footer {
    width:              100%;
    margin-left:        0%;
    margin-right:       0%;
}

DIV.body H1,DIV.body H2 {
    margin-left:        -5%;
}

/* Navigation material: */

DIV.navbar {
    width:              100%;
    margin-top:         5pt;
    margin-bottom:      5pt;
    margin-left:        0%;
    margin-right:       0%;
    padding-top:        5pt;
    padding-bottom:     5pt;
    background:         #DDDDDD;
    color:              black;
    border:             1px solid black;
    text-align:         center;
    font-size:          small;
    font-family:        sans-serif;
}

P.navaid {
    text-align: center;
}
.navaid {
    font-size:          small;
    font-family:        sans-serif;
}

P.notice {
    text-align:         center;
    font-size:          small;
    font-family:        sans-serif;
    font-style:         italic;
    color:              red;
}

A.navaid:link           { color: green;         background: transparent; }
A.navaid:visited        { color: green;         background: transparent; }
A.navaid:active         { color: yellow;        background: transparent; }

/* For most anchors, we should leave colors up to the user's preferences. */
/*--
A:link          { color: blue;          background: transparent; }
A:visited       { color: purple;        background: transparent; }
A:active        { color: red;           background: transparent; }
--*/

H1, H2, H3, H4 {
    margin-top:         1em;
    font-family:        sans-serif;
    font-size:          large;
    color:              #005A9C;
    background:         transparent;
    text-align:         left;
}

H1.title {
    text-align: center;
}

UL,OL {
    margin-right: 0em;
    margin-top: 3pt;
    margin-bottom: 3pt;
}
UL LI {
    list-style: disc;
}
OL LI {
    list-style: decimal;
}

DT {
        padding-top:    1ex;
}

DL.toc {
    font:       normal 12pt/16pt sans-serif;
    margin-left: 10%;
}

UL.toc,UL.toc UL, UL.toc UL UL {
    font:       normal 12pt/14pt sans-serif;
    list-style: none;
}
LI.tocentry,LI.tocheading {
    list-style:         none;
    margin-left:        0em;
    text-indent:        0em;
    padding:            0em;
}

.tocheading {
    font-family:        sans-serif;
    font-weight:        bold;
    color:              #005A9C;
    background:         transparent;
}

PRE {
    display:            block;
    font-family:        monospace;
    white-space:        pre;
    margin:             0%;
    padding-top:        0.5ex;
    padding-bottom:     0.5ex;
    padding-left:       1ex;
    padding-right:      1ex;
    width:              100%;
}
PRE.syntax {
    color:              black;
    background:         #80ffff;
    border:             1px solid black;
    font-family:        serif;
}
PRE.example {
    color:              black;
    background:         #f5dcb3;
    border:             1px solid black;
}

PRE.sample {
    color:              black;
    background:         #f5dcb3;
    border:             1px solid black;
}

DIV.arglist {
    border:             1px solid black;
    width:              100%;
}
TH, THEAD TR, TR.heading {
    color:              #005A9C;
    background:         #DDDDDD;
    text-align:         center;
    font-family:        sans-serif;
    font-weight:        bold;
}
TR.syntax {
    color:              black;
    background:         #80ffff;
}
TR.desc {
    color:              black;
    background:         #f5dcb3;
}

/* TR.row[01] are used to get alternately colored table rows. 
 * Could probably choose better colors here...
 */
TR.row0 {
    color:              black;
    background:         #efffef;
}

TR.row1 {
    color:              black;
    background:         #efefff;
}

/* Workaround for Netscape bugs:
 * Netscape doesn't seem to compute table widths properly.
 * unless they're wrapped inside a DIV.  (Additionally,
 * it appears to require a non-zero border-width.)
 */
DIV.table {
    border-width:       1px;
    border-color:       white;
    width:              100%;
}
DIV.menu {      /* Wrapper for TABLE class="menu" */
    margin-top:         10px;
    margin-bottom:      10px;
    border:             thin solid #005A9C;
    width:              100%;
    margin-left:        5%;
}

VAR {
    font-style: italic;
}

/* For debugging: highlight unrecognized elements: */
.unrecognized {
    color: red; background: green;
}

/* EOF */