/* line 1, /srv/http/htdocs/courses/cmsc140/s20app/app/assets/stylesheets/web_pages.css.scss */
span.hostname {
  font-size: 75%;
  font-style: italic;
  margin-left: 0.5em;
}