body {
  background-color: #0077FF;
  color: #000000;    
  margin: 0.5em;
}

div#body {
  background-color: #F0F0F0;
  border-style: outset;
  border-width: 4px;
  padding: 0.5em;
}

/* pages without left menu */
body.full {
}
body.full div#pagecontent {
  padding: 0.2em 0.2em 1em 0.2em; 
}
/* /pages without left menu */


/* pages with left menu */
body.std {
} 

body.std div#pagecontent {
  padding: 0.2em 0.2em 1em 11em; 
}

/* header */
div#header {
  margin: 0.2em; 
  background-color: buttonface; 
  border-style: inset inset inset inset; 
  border-width: 8px;
  text-align: center;
}

div#header span#logo {
  margin: 0.5em; 
  border: outset;
  padding: 0.2em 0.5em 0.2em 0.5em;
  background-color: blue;
  float: left;
}

span#logo a {
  color: yellow;
  text-decoration: none;
  font-weight: bold;
}

span#logoslogan {
  font-size: 70%;
  font-style: normal;  
  font-weight: normal;
  margin: 0;
  padding: 0;

}

span#lang {
  float: right;
  margin-bottom: 0.1em;
}
div#header div#title {
  border-style: outset; 
  border-width: 8px;
  margin: 0.5em 0.5em 1em 5em; 
  padding: 0.1em;
  font-size: 200%; 
  text-align: center; 
}

div#topmenu {
  margin: 0 0 0 1em;
}

div#header span.menu {
  margin: 0; /*0 0.1em 0 0.1em;*/
  padding: 0.2em 0.2em 0 0.2em;
  border-style: outset outset outset outset;    
  border-width: 3px;    
  font-family: X, Verdana, Arial CE, Helvetica CE, Arial, Helvetica, sans-serif, X;    
  background-color: lightblue;
}

span.menu a {
  text-decoration: none;
}

div#header span.menu#currentdoc {

  padding: 0.2em 0.5em 0.2em 0.5em; 
  border-style: outset none outset outset;    
  background-color: white;
  border-style: outset outset none outset;    

}

/* /header */
div#toc {
  border-style: groove;
  background-color: lightblue;
}


/* left menu */
div#leftmenu {
  float: left;    
  width: 10em;    
  margin: 1em 0 0 0;    
  padding: 0;    
  height: 100%;    
  background-color: lightblue;     
  padding-bottom: 1em
}

div#leftmenu div.menu {
    margin: 0.2em 0.2em 0.2em 0.2em;

    padding: 0;/*0.1em 0.2em 0.1em 0.2em; */
    border-style: outset outset outset outset;    
    border-width: 1px;    
    font-family: X, Verdana, Arial CE, Helvetica CE, Arial, Helvetica, sans-serif, X;    
    font-size: 95%;    
    background-color: magenta;
}

div#leftmenu a.menu {
    margin: 2em 0.2em 0.2em 0.2em; 
    padding: 0;/*0.1em 0.2em 0.1em 0.2em; */
    font-family: X, Verdana, Arial CE, Helvetica CE, Arial, Helvetica, sans-serif, X;    
    font-size: 95%;    
}


div#leftmenu div.menu#cursec {
    margin: 0.2em 0 0.2em 0.2em; 
    padding: 0.2em 0.5em 0.2em 0.5em; 
    border-style: outset none outset outset;    
    background-color: #F0F0F0;
}


div#leftmenu a.menu:hover,  
div#leftmenu a.menu:link,  
div#leftmenu a.menu:active,  
div#leftmenu a.menu:visited {
    color: black;
    margin: 0.1em;
    text-align: justify;
}

/* links in the menu are not underlined ... */
div#leftmenu a.menu:link,  
div#leftmenu a.menu:active,  
div#leftmenu a.menu:visited {
    text-decoration: none;
}

/* ... unless a mouse is over them ... */
div#leftmenu a.menu:hover {
    text-decoration: underline;    
    background-color: black;    
    color: yellow ! important
}

/* or point to current document */
div#leftmenu a:hover#currentdoc,  
div#leftmenu a:link#currentdoc,  
div#leftmenu a:active#currentdoc,  
div#leftmenu a:visited#currentdoc {
    text-decoration: underline;
}


/* list of subdocuments in left menu */
div#leftmenu ul {
    list-style-type: circle;    
    margin: 0.3em 0 0.3em 1.8em;    
    padding: 0;    
    font-size: 80%
}

div#leftmenu li {margin: 0.2em 0 0 0;    padding: 0}

div#leftmenu ul ul li {list-style-type: disc}

/* div#leftmenu div#cursec,
div#leftmenu div.lang {
  background-color: #E6E6E6
}

 blok odkazu v levem menu, ktery ma byt
   vizualne oddelen od ostatnich (typicky jazykova verze) */

div#leftmenu div.sep,  div#leftmenu div.buttons,  div#leftmenu div.leftmsg {margin-top: 1em}

/* jazykova verze */
div#leftmenu div.lang {border-style: dotted}

div#leftmenu div.buttons {text-align: center}

div#leftmenu div.leftmsg {text-align: center;    font-size: 80%}

/* /left menu */



div.h2 {
  margin-left: 2em;
  font-family: Times New Roman;
}
div.h3 {
  margin-left: 2em;
}

/* Common content - text and headings. */

h1, h2, h3, h4, h5, h6, div.picturetitle, div.tabletitle, div.listingtitle, table caption {
  padding: 0.2em 1em 0.2em 20px;
  margin: 0.3em 0;
  font-family: Times New Roman; /* X, Tahoma, Verdana, Arial CE, Helvetica CE, Arial, Helvetica, sans-serif, X;    */
  page-break-after: avoid
}

h1, h2, h3 {color: #000000}

h1 {font-size: 160%;    margin-top: 0;    font-weight: bold}

h2 {font-size: 130%;    font-weight: normal}

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

h4 {font-size: 100%;    font-weight: bold;    } /*border-style: solid;    border-width: 1px 0 1px 1px}*/

h1 .subtitle,  h2 .subtitle,  h3 .subtitle,  h4 .subtitle {font-size: 80%}

div.picturetitle,  div.tabletitle,  div.listingtitle {border-style: solid;    background-color: #FFFFFF;    border-width: 1px 0 1px 1px;    font-size: 100%;    margin-top: 0.5em;    font-weight: bold}

div.picturetitle,  div.listingtitle {margin-bottom: 0.4em}

div.tabletitle {margin-bottom: 0.8em}

/* text hlavni casti je trochu mensi */
p, ul, ol, dl, div, fieldset,  #pagecontent table {font-family: X, Tahoma, Verdana, Arial CE, Helvetica CE, Arial,      Helvetica, sans-serif, X;    margin-right: 1.6em;    font-size: 94%}

dl div,  dl dl.tab,  dl dl.tabcompact,  fieldset p,  fieldset dl {font-size: 100%}

/* DEFINICNI LISTY 
 tohle prebije vnorene elementy z predchoziho pravidla */
ul, ol {margin-left: 1.6em;    padding: 0}

dl {margin-left: 1em;}

dt, fieldset legend {margin: 0.7em 1em 0.3em 0}

dd {margin: 0 1em 1em 1em}

dt a {font-weight: bolder}

/* moznost predefinovani predchoziho pravidla */
#pagecontent dl.nolinkdl dt,  #pagecontent dt.nolinkterm,  fieldset legend {font-weight: bolder}

#pagecontent dl.nolinkdl dl dt {font-weight: normal;    color: #000000}

/* DEFINICNI LISTY - COMPACT */
dl.tab, dl.tabcompact {margin: 0}

dl.tab dt {padding-top: 0.3em;    margin: 0}

dl.tab dd {margin-top: -1.2em;    margin-bottom: 0.3em}

dl.tabcompact dt {padding-top: 0.1em;    margin: 0}

dl.tabcompact dd {margin-top: -1.2em;    margin-bottom: 0.1em}

dl.ddhigher dd,  dl.ddhigher dd {margin-top: -1.6em;}

dl.literaturelist {margin: 0 0 1em 0}

dl.literaturelist dt {padding-top: 0em;    margin: 0; width: 3em}

dl.literaturelist dd {margin-top: -1em;    margin-bottom: 0; margin-left: 3em}

/* SEZNAMY 
 explorer zmensuje vnorene seznamy */
#pagecontent ol ol {font-size: 100%;    list-style-type: lower-alpha}

#pagecontent ol ol ol {font-size: 100%;    list-style-type: lower-roman}

#pagecontent ol ol ul {font-size: 100%}

#pagecontent li img.picture {margin-left: 2em}

#pagecontent ul ul {list-style-type: square}

/* VIZUALIZACE SPECIALNICH TAGU */
code.url, code.path, code.pascal, code.ftp, code.auth, code.sql, code.idl,  code.vbscript, kbd, code.pgp {font-size: 90%}

code.email {font-family: X, Tahoma, Verdana, Arial CE, Helvetica CE, Arial,      Helvetica, sans-serif, X}

code.phone {font-family: X, Tahoma, Verdana, Arial CE, Helvetica CE, Arial,      Helvetica, sans-serif, X;    white-space: nowrap}

address {font-style: normal}

p {margin-top: 1.3em;    margin-bottom: 1.2em;    padding-top: 0;    padding-bottom: 0}

pre {font-size: 100%}

pre.listing, pre.math {background-color: #E6E6E6;    padding: 0.5em;    margin-right: 1em}

/* wrapper pro obsah vygenerovany lnk_lnk() */
span.urllink {white-space: nowrap}

sub,  sup {font-size: 70%}

em {font-style: normal;    font-weight: bold}

/* OBRAZKY */
#pagecontent img {padding: 0;    margin: 0}

a img {border: 0}

/* samostatny obraz (na vlastnim radku) */
#pagecontent img.picture {margin-top: 0.7em;    margin-bottom: 0.7em;    border-style: solid;    border-width: 1px;    display: block}


/* Contents */
#pagecontent div.content {margin-left: 1em}

#pagecontent div.contentnonumbering {margin-left: 0}

#pagecontent div.content ol {list-style-type: upper-roman}

#pagecontent div.content ol ol {list-style-type: decimal}

#pagecontent div.content ol ol ol {list-style-type: lower-alpha}

#pagecontent div.content ol ol ol ol {list-style-type: lower-roman}

#pagecontent div.content ol ol, #pagecontent div.contentnonumbering ol ol {margin-bottom: 0.3em}

#pagecontent div.contentnonumbering ol {list-style-type: none}