@charset "utf-8";
/* CSS Document */
/*
div#solution_line1 {font-size: 60% !important;}

div#solution_line3, div#solution_line5 {font-size: 75% !important;}
*/