/* Which seal is which — nothing else.
 *
 * Kept apart from site.css because the admin's picker needs exactly these classes and
 * admin.css does not load site.css. Both sides link this file, so there is one place
 * that knows a seal is a picture and one place (site.css / admin.css) that knows how big it
 * is and how it moves.
 *
 * The art is 139x85 pixel art. Anything using these classes should set background-size and
 * image-rendering:pixelated itself; scaling pixel art with interpolation ruins it.
 *
 * Ten seals, numbered 1–6 and 8–11 — not 1–10. Seal 7's art never shipped, and renumbering
 * the other four files down a slot wasn't worth the churn for a gap nobody but this list
 * notices; SEAL_IDS in render.js / admin/shared.js / admin/pages/seals.js all skip it the
 * same way. Adding a twelfth seal: drop the file in /seals, add a line here, and add its id
 * to SEAL_IDS in those three files. */
.seal-1{background-image:url(/seals/1.png);}
.seal-2{background-image:url(/seals/2.png);}
.seal-3{background-image:url(/seals/3.png);}
.seal-4{background-image:url(/seals/4.png);}
.seal-5{background-image:url(/seals/5.png);}
.seal-6{background-image:url(/seals/6.png);}
.seal-8{background-image:url(/seals/8.png);}
.seal-9{background-image:url(/seals/9.png);}
.seal-10{background-image:url(/seals/10.png);}
.seal-11{background-image:url(/seals/11.png);}