/* Placeholder.
 *
 * The real styles1.css is this application's own stylesheet, is in .gitignore
 * and exists only on the server running the live site. Without it the pages use
 * plain Bootstrap and will not look exactly like production.
 *
 * To get the real one:
 *   tools/fetch_assets.sh --from you@your-server:/var/www/shares
 */