/* Font size normal */
body                    { font-size: 75%; }