body {color:rgb(64,64,64);font-family:Tahoma,Arial,Sans Serif;font-size:80%}
dt {border-top:.5pt solid rgb(0,0,0);color:rgb(0,0,0);background-color:rgb(192,192,192);font-weight:bold}
dl {border-bottom:.5pt solid rgb(0,0,0)}
dd {margin-left:25%}

.separatorek {display:none}
.entry{float:left;width:25%}
.type {font-style:italic}
.sep {font-style:italic}
.ctx {font-style:italic}
.exj {color:rgb(0,0,0);font-weight:bold}
.exf {color:rgb(0,0,0)}