@charset "utf-8";

/* <= IE9 */
@media print {
    body {
        zoom: 125%;
    }
    div#contents #topcolumn .colnum3 {
        zoom: 115%;
    }
}