/*
Emacs-Time-stamp: "2010-02-11 20:03:49"
Emacs-File-stamp:"/home/ysverdlov/leninist.biz/default.css"
*/ 

/* top right bottom left */

/* http://www.w3.org/TR/1998/REC-CSS2-19980512/selector.html#x30 */

/* http://www.w3schools.com/css/css_colornames.asp */

html {

  border-top:      8pt solid red;  /* DarkRed; */
  padding-top:     4pt; 
  border-bottom:   0pt solid DarkRed;

  border-right:    8pt solid red;  /* 2010.02.11: was: 6px */

 /* border-bottom:   4pt solid DarkRed;   */

 left:            0pt;              /* HTML - */

 /* 2007.03.23 - was 24;  */
  padding-left:    38pt;             /* HTML - space between sidebar and text */

  background-color: BurlyWood;
 /*
  LightGrey
  */

}

ul > li {
  padding-top: 4px;
}

#sidebar {

 /*  border-bottom: thick solid red; */
 /*  border-right: thick solid red; */
 /*  border-top: thick solid red; */
 /*  bottom: 36pt; */
 /*  sidebar width */
 /*  was 10em 36pt */
 /* left */ left: 0;

 /* width: 40pt; */
 padding-left: 1pt;
 margin-left:  1pt;

 background: light orange;    /* SIDEBAR - */
 height: 44pt;                /* SIDEBAR - auto */

 position: fixed;             /* SIDEBAR - */

 right: auto;                 /* SIDEBAR - */
 text-align: center;          /* SIDEBAR - */

 /* from 12 to 2 when sidebar-nav-up-pound.en added */
 top: 2pt;                   /* SIDEBAR - vertical positioning. 56 too much. */

}

#header {

  /* direction: rtl; */

 background:     white;
 bottom:         auto;

 border-right:  1px solid red; /*1px solid DarkRed;*/
 border-top:    1px solid red;
 border-bottom:    0px solid red;
 border-left:   none;  /* 2px solid DarkRed; */

 /*height:         36pt;*/        /* HEADER -  was 36pt */
 padding-bottom:   8pt;         /* HEADER - */
 padding-top:      8pt;         /* HEADER - */
 margin-top:       1pt;        /* HEADER - */
 margin-bottom:    1pt;         /* MAIN -  */

 left:           0;           /* HEADER - */

 padding-left:   18pt;        /* HEADER - */
 margin-left:    32pt;        /* HEADER - sidebar width (?) */
 margin-right:   20pt;

 padding-right:  0pt;        /* HEADER - */

 /*position:       absolute;*/    /* HEADER - */

 /*
 float: left;
 right:          0;
 text-align:     left;
 top:            0;   
 width:          auto;
 */

}

#main {

 word-spacing: 2px; 

 background-color: white;    /* cornsilk MAIN -  */
 bottom:          36pt;         /* MAIN - what does this do?  */

 height:          auto;         /* MAIN -  */
 margin-bottom:   0pt;         /* MAIN -  */

 /* home page (no language) has main at top because header is empty. */
 margin-top:      4pt;         /* MAIN -  */

 left:            0;            /* MAIN - */

 padding-top:     6pt;         /* MAIN -  */

 padding-left:    24pt;         /* MAIN -  */
 padding-bottom:  0pt;         /* MAIN -  */
 margin-left:     32pt;         /* MAIN - sidebar width (?) */
 /* DW noticed lack of whitespace to left of main. */

 /* ------------------------------------------------------- */
 /* USE 28pt for padding-right! "p" link here. */
 /* USE 28pt for padding-right! page numbers here. */

 /* SEE ALSO: a.scroll2next :: margin-right: -30pt; */
 padding-right:   24pt;         /* MAIN - was 12 */
 /* ------------------------------------------------------- */

 /* KEEP 20. "12pt" will shrink side of white right margin. Why? */
 margin-right:    20pt;         /* MAIN -  */

 /*position:        relative;*/     /* MAIN - was fixed */

 float: left;
 /* top:             66pt; */         /* MAIN -  */

   width:           auto;         /* MAIN - was auto */

 /* file:///home/wget/www.w3.org/TR/REC-CSS2/box.html#border-properties */

 border-left:        thin solid DarkRed;  /* MAIN -  */
 border-right:       thin solid DarkRed;  /* MAIN -  */
 border-top:         thin solid red;  /* MAIN -  */

 border-bottom:      4px solid FireBrick; /* 6px solid red; */

}

a.txt2html {
 background-color: white;
  text-decoration: overline;
}

span.overline {
  text-decoration: overline;
}

u.overline {
  text-decoration: overline;
}

dt {
  font-weight: bolder;
  font-stretch: semi-expanded;

  /* file:///home/wget/www.w3.org/TR/REC-CSS2/visuren.html */
  display: compact;

}

dd {
  /* OK. Sooo.  Why does increasing this expand width of table? */
  margin-left: 42pt;
  margin-top: 2pt;
  margin-bottom: 8pt;
}

table.languages {
  margin-top: 12pt;
}

table.sitemap {
  margin-top: 2pt;
}

div.originally-published {
 padding: 6pt 28pt 6pt 24pt;
 margin:  0pt 48pt 0pt 48pt; 
  border-left:   thick solid DarkRed;
  border-top:    none;
  border-right:  thick solid DarkRed;
  border-bottom: thin  solid DarkRed;
}

div.sitemap-left-heading {
  /* sitemap.htmm: <div class="sitemap-left-heading">e Books</div> */
  text-align: center;
  border-top: 8px solid DarkRed;
  padding-top:    8px;
  padding-bottom: 2px;
  margin-top: 24px;
  margin-bottom: 12px;
  font-size: larger;
  border-bottom: thin solid red;
  border-right: thick solid cornsilk;
}

div.sitemap-right-heading { /* DEFUNCT */
  /* sitemap.htmm: <div class="sitemap-right-heading">Helpful</div> */
  text-align: center;
  border-top: 8px solid DarkRed;
  padding-top:    8px;
  padding-bottom: 2px;
  font-size: larger;
  border-bottom: thin solid red;
  border-right: thick solid cornsilk;
}

td.sitemap-td-left {

  /* fix? share with card.css ?  with span.logo? */

  margin-bottom: 72pt;

  border-bottom: 4px solid DarkRed;
  border-left: 0px solid red;
  border-right: 2px solid red;

  padding-right: 6px;
  padding-left: 12px;

  background-color: white;

}

td.sitemap-td-right {

  margin-bottom: 72pt;  /* why not? */

  border-bottom: 4px solid DarkRed;
  border-left: 1px solid red;
  border-right: 0px solid red;

  padding-left: 12px;
  padding-right: 6px;

  background-color: white;

}

font.smaller {
  font-size: smaller;
}
p.smaller {
  font-size: smaller;
}

/* Note that the A:hover must be placed after the A:link and A:visited rules, */
a:link {
 color: DarkSlateBlue;

 /* text-decoration: overline; */

}

a:visited {
 color: maroon;
 text-decoration: none;
}

a:hover {
  font-weight: normal;
  /* Do not use bold.  Causes whole paragraph to go bold. */

  /* outline-width: thin; */
  /* border-width: thin; */

  color: red;
  background-color: white;

}

a.up-pound {
 color: red;
 text-decoration: none;
}

a.lb {
  /* fix: remove underlining caused by hyperlink in footer: href="../../sitemap" */
 color: maroon;
}

a.hover160:hover {
 background: red;
}

form.select-style-sheet {
  font-size: smaller;
  float: right;
  width: auto;
  margin-right: 0px;
}

span.logo {

  float: right;
  width: auto;
  margin-right: 0px;

  background-color: cornsilk;

  border-left:   2px solid DarkRed;
  border-top:    14px solid DarkRed;
  border-right:  2px solid DarkRed;
  border-bottom: 2px solid DarkRed;

  text-align: right;
  text-transform: capitalize;
  font-variant: small-caps;

  padding: 8px 12px 3px 16px;
  margin: -17px 16px 12px 24px;  
}

span.formula-missing:before {
 color: red;
 padding-left: 48pt;
 content: "WARNING: Unedited formula removed!"
}
span.contact-webmaster:before {
 color: red;
 padding-left: 48pt;
 content: "CONTACT:   Email webmaster@ to help edit and get this fixed!"
}

span.p-indent {
 background: white;
}

span.faq-bar-horizontal {
 border-right: thin black solid; 
 padding: 5px 0px 5px 0px;
}

div.faq-bar-horizontal {
 text-align: center;
 border: thin black solid; 
 padding: 6px 3px 6px 3px;
 margin: 0px 0px 1px 0px;
}

div.backred-medium {
 padding: 0px 0px 0px 0px;

 /*
 background: red;
 */

 font-size: 4pt;
}

span.page-break {
  /* font-family: monospace; */
  border-width: thin;
  border-style: solid;
  padding: 0px 6px 0px 6px;
}

span.self-url {
  /* NOTE: "font-family: monospace" too big (why?) in Opera. */
  /* font-family: monospace; */
  font-size: smaller; 
}
span.modified {
  font-family: monospace; 
}

/* */
span.title-letter {
  font-size: 18pt;
  text-align: center;
  /* padding: 2px 48px 2px 2px; */

}
span.author-letter {
  font-size: 18pt;
}
span.year-number {
  font-size: 18pt;
}

/* */
a.title-letter-footer {
  font-size: 9pt;
}
a.title-letter {
  font-size: 18pt;
}
a.title-letter-backcolor {
  font-size: 18pt;
  background-color: LightPink;
}
a.author-letter {
  font-size: 18pt;
}
a.author-letter-backcolor {
  font-size: 18pt;
  background-color: LightPink;
}
a.year-number {
  font-size: 18pt;
}
a.year-number-backcolor {
  font-size: 18pt;
  background-color: LightPink;
}

/* hover */
a.title-letter:hover {
  /* font-weight: bold; too distracting */
}
a.author-letter:hover {
  /* font-weight: bold; too distracting */
}
a.year-number:hover {
  /* font-weight: bold; too distracting */
}

span.source {
    font-size: 10pt;
}

body { 
  /* height: 8.5in */
}

span.div-header-title {
  font-size: 18pt; 
  font-variant: small-caps; /* NOTE: Words must be This or this, not THIS */

  /* put on top of logo if necessary */
  background-color: white;

}

span.div-header-subtitle {
  font-size: 12pt; 
  font-variant: small-caps; /* NOTE: Words must be This or this, not THIS */

  /* put on top of logo if necessary */
  background-color: cornsilk;

}

span.div-header-subtitle2 {
  font-size: 10pt; 
  font-variant: small-caps; /* NOTE: Words must be This or this, not THIS */

  /* put on top of logo if necessary */
  background-color: LightPink;

}

span.mission-statement {

 height:         auto;     /* MISSION-STATEMENT - */

 margin-top:  12pt;     /* MISSION-STATEMENT - */
 margin-bottom:  12pt;     /* MISSION-STATEMENT - */

 padding-right:   28pt;         /* MISSION-STATEMENT -  */
 padding-left:    28pt;         /* MISSION-STATEMENT -  */
 padding-bottom:    28pt;         /* MISSION-STATEMENT -  */

 /*position:       relative;*/ /* MISSION-STATEMENT - */
 /* float: left; */

 width:          auto;     /* MISSION-STATEMENT - */

}

#footer {

 /* border-bottom: thick solid red; */
 border-top: 6pt solid red; /* was thin: but caused variable lengths. 2009.12.21 */

 /* background:  ; */

 /* bottom:          auto; */         /* FOOTER - */

 /*height:          96pt;*/        /* FOOTER - was 100px was 36px */
 margin-bottom:   48pt;

 /* left:            0; */            /* FOOTER - */

 margin-left:     48pt;         /* FOOTER - 1 crashes into sidebar */
 margin-right:    48pt;         /* FOOTER - */
 padding-left:     1pt;         /* FOOTER - */
 padding-right:    6pt;         /* FOOTER - */

 /*position:        relative;*/     /* FOOTER - */
 float: left;

 /* right:           0; */            /* FOOTER - */

 top:             auto;         /* FOOTER - */
 width:           auto;         /* FOOTER - changed from 'auto' 2010.01.15 */
}

table[class="toc"] td[class=""] {
  padding-left: 24px;
}

table.footer {
    row-spacing: 0;
    margin-right: 0;
}

/* fix! Move arrows &lt; and &gt; in here, w/ CSS trick to insert cdata */

td.prev-arrow {
  vertical-align: top;
}
td.prev {
  vertical-align: top;
}

td.next-arrow {
  vertical-align: top;
}
td.next {
  vertical-align: top;
}

td.who {
  font-family: monospace; 
  border-width: thin;
  border-style: solid;
  padding: 0px 6px 0px 6px;
}

td.format_year {
  font-family: monospace; 
  padding: 6px 6px 6px 6px;
}
td.format_type {
  font-family: monospace; 
  border-width: thin;
  border-style: solid;
  padding: 6px 6px 6px 6px;
}
td.format_toc_box {
  /* font-family: monospace; */
  border-width: thin;
  border-style: solid;
  padding: 2px 20px 6px 16px;
}
td.format_toc_box_lvl3 {
  /* font-family: monospace; */
  border-style: none;
  padding: 2px 2px 6px 56px;
  margin: 0px 0px 0px 0px;          /* howto? less space between lines */
}
td.format_title {
  padding: 0px 6px 0px 6px;
}

td.ax_authors {
  text-align: right;
  padding: 0px 6px 3px 0px;
}
td.ax_titles {
  padding: 0px 0px 3px 6px;
}

span.leninistbiz {
 color: BurlyWood; 
 font-size: smallest;
}

/* FOOTER CELLS */

/* 1 */

td.footer-row1col1 {
  padding-left: 1px;
    text-align: left;
    /* border-left: solid thick red; */
}

td.footer-row1col2 {
    text-align: right;
    /* border-left: solid thick red; */
}

/* 2 */

td.footer-row2col1 {

  /* get it under sidebar? */
  /* margin-left: -12px; */
  /* float: left;
     margin-left: -6px; */

  padding-left: 1px;
    text-align: left;
    /* border-left: solid thick red; */
}

td.footer-row2col2 {
  padding-right: 3px;
    text-align: right;
    /* border-left: solid thick red; */
}

/* 3 */
td.footer-row3col1 {
  padding-left: 0px;
    text-align: center;
    /* border-left: solid thick red; */
}

td.footer-row3col2 {
    text-align: right;
    /* border-left: solid thick red; */
}

/* 4 */
td.footer-row4col1 {
  padding-left: 0px;
    text-align: center;
    border: solid thin red; */
}

td.footer-row4col2 {
    text-align: right;
    /* border-left: solid thick red; */
}

/* END */

div.sidebar-row {
  text-align: center;
  font-size: small ;
  font: bold ; /* removed "monospace" LOOKED funny in Opera. */
  background-color: cornsilk;
  border: solid thin black; 
  margin:  3px 3px 8px 3px;     /* spacing inbetween boxes */
  padding: 4px 4px 4px 4px;     /* spacing above bottom edge of box */
}

/* removed "monospace" from div.sidebar-nav-arrow* ... LOOKED funny in Opera. */

a.sidebar-nav-arrow {
  text-decoration: none;  /* remove underscore from "<" ... ">>>" */
}
span.sidebar-nav-arrow-disappear {
  color: BurlyWood; /* use same color as HTML background-color */
}

a.sidebar-infocenter-choice {
  background-color: white;
 padding: 1px 1px 1px 1px;
}
div.sidebar-infocenter-choice {
  padding: 0px 0px 1px 0px; 
  background-color: cornsilk;
}
div.sidebar-infocenter-choice-toc {
  /* border: thin solid black; */
  padding: 4px 0px 8px 0px;
  background-color: cornsilk;
}
div.sidebar-infocenter-choice-card {
  padding: 0px 0px 8px 0px;
  background-color: cornsilk;
}

div.sidebar-nav-arrow3 {
  /* font-size: large ; */
  font:      bold ;
  /* background-color: LightPink; */
  border: solid thin ;
  border-top: 4px solid red;
  margin: 12px 3px 12px 3px;
  padding: 0px 0px 3px 0px;
  /* border: solid thin black; */
}
div.sidebar-nav-arrow2 {
  /* font-size: large ; */
  font:      bold ; 
  /* background-color: LightPink; */
  border-top: solid thin ; 
  border-left: solid thin ; 
  border-right: solid thin ; 
  margin: 3px 3px 3px 3px;
  padding: 0px 0px 3px 0px;
  /* border: solid thin black; */
}
div.sidebar-nav-arrow1 {
  /* font-size: large ; */
  font:      bold ; 
  /* background-color: LightPink; */
  border-right: solid thin ; 
  border-left: solid thin ; 
  /* border-bottom: solid thin ; */
  border-bottom: 4px solid red;
  margin: 3px 3px 12px 3px;
  padding: 0px 0px 3px 0px;
  /* border: solid thin black; */
}

div.home {
  padding-top: 12px;
}

div.font-size-tiny {
 font-size: 4pt;
 margin: 0px 0px 0px 0px;
}

div.heading-card-catalog {
  text-align: right;
 padding: 0px 96px 0px 0px;
  font-variant: small-caps;
  font-stretch: semi-expanded;
 font-size: 14pt;
 font-weight: bold; 
}

ol.taz {
  margin-right: -500px;  /* to prevent line wraps */
}

div.available {
 background: BurlyWood;
 border-top: 4px solid DarkRed;
 border-right: 1px solid red;

 margin: 9px 9px 9px 9px;
 padding: 8px 9px 3px 9px;
}

ul.links {
  margin-right: 160px;
}
span.link-date-checked:before {
 content: ""
}
span.link-date-checked:after {
 content: ""
}
span.link-date-checked {
  font-size: smaller;
  float: right;
  margin-right: -140px;
}

/* Local variables: */
/* mode:c */
/* End: */