/* All shared styles are in gitbook-plugin-gitbook-style/assets/gitbook-style.css */
/* This file is kept for any English-specific overrides (currently none) */