@charset "utf-8";

body {
    color: black;
    background-color: white;
}

h1 {
    font-size: 160%;
    font-variant: small-caps;
    font-family: sans-serif;
    padding-left: 9%;
    padding-bottom: 1.5ex;
    margin-bottom: 0;
}
h2 { font-size: 130% }
h3 { font-size: 115% }

hr { clear: both }

.body { background-image: url(https://webarchiv.lib.cas.cz:443/wayback/20091211161323/http://www.math.cas.cz/~jerabek/sie-b.png) }

/* this is the [PS, PDF] stuff */
.links { font-size: 80% }
/* enclosing bibliographic information in the abstracts */
.bib {
    padding-left: 2em;
    font-size: 90%;
    padding-bottom: 1ex;
}
.bib .links { font-size: 90% }

/* inline math */
.m {
    font-family: serif;
    white-space: nowrap;
}
/* Firefox hack: <span style="white-space:nowrap">foo</span>-bar prevents 
 line breaks in such a way that the word sticks outside the right margin */
.mb {
    font-family: serif;
}
/* display math */
.display {
    text-align: center;
    white-space: pre;
    font-family: serif;
}
/* avoid italics in <em> etc */
span.m, span.mb { font-style: normal }
/* make math su[bp]scripts smaller and lower subscripts
   to override the crappy Konqueror default */
sup { font-size: 75% }
sub {
    font-size: 75%;
    vertical-align: -30%;
}

/* Damn. The nice idea below (from WP) only works in Firefox, and is probably incorrect. */
.su {
    position: relative;
    left: 0;
    line-height:0;
    top: 0ex;
}
.sub {
    position: absolute;
    left: 0;
    top: 1.4ex;
}
.sup {
    position: absolute;
    left: 0;
    top: -0.7ex
}

/* shift left for su[bp]scripts */
.lf { margin-left: -0.55em }
#pisup {
    margin-right: -2.1em;
    vertical-align: 1.4ex;
}
#rhosup {
    margin-right: -2.0em;
    vertical-align: 1.4ex;
}

.ovl { text-decoration: overline }
.sf { font-family: sans-serif }

/* the "back" links */
.back {
    font-size: 90%;
    font-style: italic;
    float: right;
    padding-bottom: 1ex;
}
/* other language versions */
.lang {
    font-size: 90%;
    float: right;
}
.flag {
    height: 15px;
    border: 1px solid gray;
}

/* disable frames around image links */
img { border: none }

/* :target hacks */
:target { background-color: #FFFFA0 }
#noteback:target { background-color: inherit }
/* bibtex */
pre:target { padding: 1em }
/* abstracts */
div:target {
    background-color: inherit;
    color: #010000;
/* this is a workaround for a bloody Konqueror bug */
}
div:target h2:before {
    content: "→ ";
    color: red;
    font-size: 150%;
    vertical-align: middle;
}

/* increase spacing between list items */
li { margin-bottom: 0.7ex }
/* numbered bibliography list */
.bli dt {
    float: left;
    width: 2em;
    font-weight: normal;
}
.bli dd {
    margin-left: 2em;
    margin-bottom: 0.5ex;
}
#wide dt { width: 5em }
#wide dd { margin-left: 5em }

/* TeX logo */
.tex {
    font-family: cmr10, "Computer Modern Roman", "Computer Modern", serif;
    font-variant: normal;
}
.tex span {
    text-transform: uppercase;
    vertical-align: -0.5ex;
    margin-left: -0.1667em;
    margin-right: -0.125em;
}

/* fine-tuning of main page */
.fn { text-decoration: none }
.nb { white-space: nowrap }
.float { float: left }
#mainh {
    padding-bottom: 2ex;
    padding-top: 1ex;
    background-color: #D0E0FF;
    color: #402020;
}
/* need to do it this funny way because IE sucks */
#mainhr {
    margin: 0;
    padding: 0;
    background-color: #F0C000;
    height: 0.3ex;
    min-height: 1px;
}
#mainhr hr { display: none }

#photo {
    width: 100px;
/*    max-width: 25%;*/
    height: 110px;
    float: left;
    padding-bottom: 30px;
/*    padding-right: 30px;*/
}
#below-photo { clear: left }
#address { margin-left: 130px }
#address h2 {
    font-size: medium;
    font-weight: bold;
    margin-bottom: 0.5ex;
    padding-bottom: 0;
}
address { font-style: normal }
.humpty { display: inline }
.dumpty { display: none }
#email { padding-bottom: 1em }

#valid { float: right }
.w3c {
    height: 31px;
    width: 88px;
}

#swpat {
    clear: both;
    text-align: center;
}
#swimg {
    height: 121px;
    width: 732px;
}

/* MSIE hack, adapted from Wikipedia's common.css */
.IPA {
    font-family: "Chrysanthi Unicode", "Charis SIL", "Doulos SIL", Gentium, GentiumAlt, "Arial Unicode MS", Code2000, "TITUS Cyberbit Basic", "DejaVu Serif", "Bitstream Cyberbit", "Hiragino Kaku Gothic Pro", "Matrix Unicode", "Lucida Sans Unicode";
    font-family /**/: inherit;
}
.IPA sup { font-size: 65% }

/* tables in CV */
th {
    padding-right: 1em;
    text-align: left;
    vertical-align: top;
    font-weight: normal;
}
.bf th { font-weight: bold }
.skip { height: 2ex }






/*
     FILE ARCHIVED ON 16:13:23 Dec 11, 2009 AND RETRIEVED FROM THE
     AN OPENWAYBACK INSTANCE ON 20:00:19 Jul 11, 2025.
     JAVASCRIPT APPENDED BY OPENWAYBACK, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/