/* Korrekturen fuer den statischen Export "Juedisches Leben 1933-1945".
   Wird vom Exporter als letztes Stylesheet in jede Rahmenseite eingebunden (nach artcontent.css, vor den Inline-Styles der Seite).
   Quelle: export\exporter_jl\zusatz\css\export.css  ->  nach dem Aendern "export_jl.cmd statisch".
   Klassen, die der Exporter ergaenzt: body.ex-<seite> mit index, quellen, findbuch, suche, orte, menschen, deportationen, infothek, projekt */

/* Volltextsuche des Exports (js/jl_suche.js) */
.ex-suche-hinweis { font-size: 14px; color: #555; margin: 10px 0; }
.ex-suche-zahl { font-family: bebas; font-size: 20px; margin: 0 0 20px 0; }
.ex-suche-auszug { font-size: 13px; line-height: 140%; color: #444; margin: 4px 0 0 0; }
.ex-suche-auszug mark { background-color: #c5ced9; padding: 0 1px; }