<commit_before><nav class="navbar navbar-default" role="navigation" ng-show="$parent.showHeader">
  <!-- Brand and toggle get grouped for better mobile display -->
  <div class="navbar-header">
      <button type="button" class="navbar-toggle" ng-init="navCollapsed = true" ng-click="navCollapsed = !navCollapsed">
        <span class="sr-only">Toggle navigation</span>
        <span class="icon-bar"></span>
        <span class="icon-bar"></span>
        <span class="icon-bar"></span>
      </button>
    <a class="navbar-brand" href="#">
      <i class="logo"></i>
      <h1 class="logo">Doubtfire</h1>
    </a>
  </div>
  <!-- Collect the nav links, forms, and other content for toggling -->
  <div class="collapse navbar-collapse" ng-class="!navCollapsed && 'in'" ng-show="!navCollapsed">
    <ul class="nav navbar-nav navbar-right">
      <li class="dropdown" dropdown ng-repeat="menu in menus | orderBy:'name'">
        <a class="dropdown-toggle" dropdown-toggle role="button"><span class="glyphicon glyphicon-{{menu.icon}}">{{menu.name}}</span><b class="caret"></b></a>
        <ul class="dropdown-menu">
          <li ng-repeat="link in menu.links | orderBy:'name'"
              ng-class="{active: link.class === 'active'}">
            <a href="{{link.url}}">{{link.name}}</a>
          </li>
        </ul>
      </li>

      <li class="dropdown" dropdown ng-hide="projects.length == 0 && unitRoles.length == 0">
        <a role="button" class="dropdown-toggle" dropdown-toggle><span class="glyphicon glyphicon-book"></span> Units <b class="caret"></b></a>
        <ul class="dropdown-menu">
          <li ng-hide="unitRoles.length == 0" class="dropdown-header">Units You Teach</li>
          <li ng-repeat="unitRole in unitRoles | filter:isUniqueUnitRole">
            <a href="#/units?unitRole={{unitRole.id}}">
                <div>
                  <label class="label label-info small">{{unitRole.unit_code}}</label>
                  <small class="text-muted">{{showDate(unitRole.start_date)}}</small>
                </div>
                {{unitRole.unit_name}}
              </a>
          </li>
          <li ng-hide="unitRoles.length == 0 || projects.length == 0" class="divider"></li>
          <li ng-hide="projects.length == 0" class="dropdown-header" ng-hide="{{projects.length}}">Units You Study</li>
          <li ng-repeat="project in projects">
            <a href="#/projects/{{project.project_id}}">
              <div>
                <label class="label label-info small">{{project.unit_code}}</label>
                <small class="text-muted">{{showDate(project.start_date)}}</small>
              </div>
              {{project.unit_name}}
            </a>
            </a>
          </li>
        </ul>
      </li>

      <li class="dropdown" dropdown if-role="Admin">
        <a class="dropdown-toggle" dropdown-toggle><span class="glyphicon glyphicon-wrench"></span> Administration<b class="caret"></b></a>
        <ul class="dropdown-menu">
          <li><a href="#/admin/units">Manage Units</a></li>
          <li><a href="#/admin/users">Manage Users</a></li>
        </ul>
      </li>

      <li class="dropdown" dropdown if-role="Convenor">
        <a class="dropdown-toggle" dropdown-toggle><span class="glyphicon glyphicon-wrench"></span> Administration<b class="caret"></b></a>
        <ul class="dropdown-menu"><commit_msg>LOOKS: Improve looks of unit header looks dropdown<commit_after><nav class="navbar navbar-default" role="navigation" ng-show="$parent.showHeader">
  <!-- Brand and toggle get grouped for better mobile display -->
  <div class="navbar-header">
      <button type="button" class="navbar-toggle" ng-init="navCollapsed = true" ng-click="navCollapsed = !navCollapsed">
        <span class="sr-only">Toggle navigation</span>
        <span class="icon-bar"></span>
        <span class="icon-bar"></span>
        <span class="icon-bar"></span>
      </button>
    <a class="navbar-brand" href="#">
      <i class="logo"></i>
      <h1 class="logo">Doubtfire</h1>
    </a>
  </div>
  <!-- Collect the nav links, forms, and other content for toggling -->
  <div class="collapse navbar-collapse" ng-class="!navCollapsed && 'in'" ng-show="!navCollapsed">
    <ul class="nav navbar-nav navbar-right">
      <li class="dropdown" dropdown ng-repeat="menu in menus | orderBy:'name'">
        <a class="dropdown-toggle" dropdown-toggle role="button"><span class="glyphicon glyphicon-{{menu.icon}}">{{menu.name}}</span><b class="caret"></b></a>
        <ul class="dropdown-menu">
          <li ng-repeat="link in menu.links | orderBy:'name'"
              ng-class="{active: link.class === 'active'}">
            <a href="{{link.url}}">{{link.name}}</a>
          </li>
        </ul>
      </li>

      <li class="dropdown" dropdown ng-hide="projects.length == 0 && unitRoles.length == 0">
        <a role="button" class="dropdown-toggle" dropdown-toggle><span class="glyphicon glyphicon-book"></span> Units <b class="caret"></b></a>
        <ul class="dropdown-menu">
          <li ng-hide="unitRoles.length == 0" class="dropdown-header">Units You Teach</li>
          <li ng-repeat="unitRole in unitRoles | filter:isUniqueUnitRole">
            <a href="#/units?unitRole={{unitRole.id}}" class="clearfix">
                <small class="pull-left">
                  <label class="label label-info small">{{unitRole.unit_code}}</label>
                  <small class="text-muted">{{showDate(unitRole.start_date)}}</small>
                </small>
                <span class="pull-right">{{unitRole.unit_name}}</span>
              </a>
          </li>
          <li ng-hide="unitRoles.length == 0 || projects.length == 0" class="divider"></li>
          <li ng-hide="projects.length == 0" class="dropdown-header" ng-hide="{{projects.length}}">Units You Study</li>
          <li ng-repeat="project in projects">
            <a href="#/projects/{{project.project_id}}" class="clearfix">
              <small class="pull-left">
                <label class="label label-info small">{{project.unit_code}}</label>
                <small class="text-muted">{{showDate(project.start_date)}}</small>
              </small>
              <span class="pull-right">{{project.unit_name}}</span>
            </a>
            </a>
          </li>
        </ul>
      </li>

      <li class="dropdown" dropdown if-role="Admin">
        <a class="dropdown-toggle" dropdown-toggle><span class="glyphicon glyphicon-wrench"></span> Administration<b class="caret"></b></a>
        <ul class="dropdown-menu">
          <li><a href="#/admin/units">Manage Units</a></li>
          <li><a href="#/admin/users">Manage Users</a></li>
        </ul>
      </li>

      <li class="dropdown" dropdown if-role="Convenor">
        <a class="dropdown-toggle" dropdown-toggle><span class="glyphicon glyphicon-wrench"></span> Administration<b class="caret"></b></a>
        <ul class="dropdown-menu">
{'fraction_non_alphanumeric': 0.1914463227857246, 'fraction_numerical': 0.002311804652506863, 'mean_word_length': 2.7255113024757804, 'pattern_counts': {'":': 0, '<': 207, '<?xml version=': 0, '>': 207, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3503453', 'n_tokens_mistral': 2142, 'n_tokens_neox': 2051, 'n_words': 412}