[boost] Which DPI size for equations in HTML docs?