/*
 * Content markup rules:
 *
 * <h2>         page header
 * <h3>, <h4>   sections and subsections
 * <em>         emphasize some text (underline)
 * <small>      short notes/comments
 * <strong>     software/package/function/syscall/etc. name
 * <var>        file/path names, menu items, USE-flags, inlined commands/code
 * <code>       commands/code block
 * <kbd>        keys to press
 *
 */

*   { padding: 0;  margin: 0; }
img { border: 0; }

/*** Layout ***/

html { height: 100%; margin-bottom: 1px; } /* force vertical scrollbar */
body {
    position: relative;
    width: 800px;
    margin: 0 auto;
}

#header     { position: absolute; top:  15px; left:   0;   width: 100%; height: 118px; }
#header h1  { position: absolute; top:  20px; left: 200px; }
#logo       { position: absolute; top:   0;   left:  11px; width: 114px; }
#menu       { position: absolute; top: 148px; left:   0;   width: 150px; }
#content    { padding: 148px 0 30px 180px; }

/*** Fonts ***/

#header         { font-family: Comic Sans MS, cursive; }
#header h1 {
    font-size: 45px;
    font-weight: normal;
    letter-spacing: 0.1em;
}
#epigraph {
    font-size: 15px;
    text-align: right;
}

#menu           { font-family: Times New Roman;              font-size: 90%; }
#menu li li     { font-family: Arial, Helvetica, sans-serif; }
#menu li li li  { font-size: 90%; }
#menu li p      { letter-spacing: 1px; }

#content        { font-family: Verdana,          sans-serif; font-size: 85%; }
#content h2     { font-family: Times New Roman,       serif; }
#content h3     { font-family: Times New Roman,       serif; }
#content dt     { font-size: 110%; }
#content em     { font-style: normal; }
#content strong { font-family: Courier New,       monospace; }
#content small  { font-family: Comic Sans MS,       cursive; font-size: 80%; }
#content var    { font-family: Courier New,       monospace; font-style: normal; }
#content code   { font-family: Courier New,       monospace; }
#content .note  { font-size: 90%; }
#content .date  { font-family: Arial, Helvetica, sans-serif; font-size: 90%; }

/*** Colors and Backgrounds ***/

#header         { background: url("/images/logo_bg.png") left 60px repeat-x; }
#header h1      { color: #8b7f7f; }
#epigraph       { color: #8b7f7f; }
#logo {
    border: 2px solid #8b7f7f;
    padding: 114px 0 0 0;
    overflow: hidden;
    background: url("/images/logo.jpg") no-repeat;
    height: 0px !important; /* for most browsers */
    height /**/:114px;      /* for IE5.5's bad box model */
}

#menu           { background-color: #f6f6f6; border: 1px solid #8b7f7f; }
#menu li p      { color: #ffffff; background-color: #c3bfbd; }
#menu a         { color: #8b7f7f; }
#menu a:hover   { background-color: #eeeeee; }
#menu p.switch  { background-image: url("/images/category_switch.png");
                  background-repeat: no-repeat;
                  background-position: right center; }

#content        { color: #000000; background-color: #ffffff; }
#content a      { color: #8383EA; }
#content h2     { color: #8b7f7f; }
#content code   { background-color: #f6f6f6; border: 1px solid #8b7f7f; }
#content kbd    { border: 1px solid black; }
#content .date  { color: #8b7f7f; }

.ru {
    padding-right: 25px;
    background: url("/images/ru.png") right center no-repeat;
}

/*** Misc ***/

#menu           { overflow: hidden; }
#menu ul        { list-style: none; }
#menu li p.switch { cursor: n-resize; }
#menu li p      { padding: 3px 5px 5px 5px; }
#menu li li     { padding-left: 10px; }
#menu img.current  { 
    position: absolute;
    left: 142px;
    margin-top: 0.3em;
}
#menu a {
    display: block;
    position: relative;
    padding: 1px 0;
    margin-left: -150px;
    padding-left: 150px;
}
* html #menu a  { width: 100%; }

#cse-search-box { margin: 0.35em 0; }

#content        { text-align: justify; }
#content h2     { margin: 0 0 0.7em 0; }
#content h3     { margin: 0.7em 0; }
#content p      { margin: 0.7em 0; }
#content p.note { margin: 0.7em 0 0.7em 3em; }
#content dl     { margin: 0.7em 0; }
#content ul     { margin-left: 1em; }
#content ol     { margin-left: 2em; }
#content dd     { margin-left: 1em; }
#content table  { width: 100%; }
#content em     { text-decoration: underline; }
#content kbd    { padding: 0 2px; }
#content code {
    display: block;
    padding: 5px 0 5px 20px;
    white-space: pre;
}
#content .news  { margin: 1.2em 0; }
#content .news p{ margin: 0px; }

