body
{
    font-size: 75%;  /* 12px */
}