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:                 $(document).ready(function () {
                      count_down($("#contest-time-remaining"));
                  });
  
          if misc_config.analytics
              | #{misc_config.analytics|safe}
      body
  