/* Project-wide overrides on top of Bootstrap/Font Awesome -- see
   webui/templates/___blank.jinja2, which loads this after both. */
a {
    text-decoration: none;
}