.defs-guide[data-astro-cid-hoof3uqx]{margin-top:1em}.defs-guide[data-astro-cid-hoof3uqx] dd[data-astro-cid-hoof3uqx]{margin:6px 0 0;font-size:15px}