{# The stylesheet is the local dashboard's own, extracted from
build_dashboard.py's TEMPLATE rather than reimplemented. Keeping it byte-
faithful means the product looks like the system Eugene already uses, and
any visual difference is a real difference rather than my taste. #}