/* Font size medium */
body                    { font-size: 86%; }