TODO

   1 Ctverecek na konci dukazu by mohl byt na konci odstavce.
   2
   3 Jaký typ PDFkových anotací produkuje hyperref? Někdy prohlížeče
   4 rámečky kolem odkazů neukazují, jindy ne, a například linuxové lp
   5 je pak vytiskne.
   6
   7 Anglické README.
   8
   9 Pojmenované věty mají nepěknou tučnou tečku za netučným jménem.
  10 Za to ovšem může balíček amsthm a není jasné, jak mu v tom zabránit.
  11 Pomocí \newtheoremstyle sice jde předefinovat, jak se tečka sází,
  12 ale v tom okamžiku není dostupná informace o tom, zda věta má jméno.