@charset "utf-8";
/* CSS Document */
/* fuer historische Karten - info_utm.php */
.pixel14 {
  font-size:14px;
		}