anchor.diff:              #nav-shadow
               span#user-links
                   if request.user.is_authenticated
  +                    if IN_CONTEST
  +                        #contest-info
  +                            a(href='{% url "contest_view" CONTEST.contest.key %}')
  +                                | #{CONTEST.contest.name} -
  +                                #contest-time-remaining #{CONTEST.time_remaining | timedelta:"simple"}
                       a(href='{% url "user_page" %}')
                           | Hello,&nbsp;
                           b #{request.user.username}
  
positive.code:         meta(property='og:image', content='https://dmoj.ca/logo.png')
          meta(property='og:title', content='{{ title }} - Don Mills Online Judge')
          meta(property='og:site_name', content='Don Mills Online Judge')
          
          | <!--[if lt IE 9]>
          | <script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
          | <script>window.bad_browser = true</script>
  
negative.code:         if IN_CONTEST
              style.
                  #contest-info {
                      height: 1.4em;
                      font-size: 1.25em;
                      border-bottom: 1px solid #2980B9;
                      margin-bottom: 2px;
                  }
  
                  #contest-info a {
  