<commit_before>!!! 5
html

  head
    title= __('title')

    // Foundation css + js
    link(rel='stylesheet', href='https://cdnjs.cloudflare.com/ajax/libs/foundation/5.5.1/css/normalize.css')
    link(rel='stylesheet', href='https://cdnjs.cloudflare.com/ajax/libs/foundation/5.5.1/css/foundation.css')
    script(src='https://cdnjs.cloudflare.com/ajax/libs/foundation/5.5.1/js/vendor/modernizr.js')
    script(src='https://cdnjs.cloudflare.com/ajax/libs/foundation/5.5.1/js/vendor/jquery.js')
    script(src='https://cdnjs.cloudflare.com/ajax/libs/foundation/5.5.1/js/vendor/fastclick.js')
    script(src='https://cdnjs.cloudflare.com/ajax/libs/foundation/5.5.1/js/foundation.min.js')

    // Countdown
    link(rel='stylesheet', href='https://code.jquery.com/ui/1.8.2/themes/smoothness/jquery-ui.css')
    script(src='https://code.jquery.com/ui/1.8.2/jquery-ui.min.js')

    // Datepicker
    link(rel='stylesheet', href='https://cdnjs.cloudflare.com/ajax/libs/bootstrap-datepicker/1.4.0/css/bootstrap-datepicker.css')
    script(src='https://cdnjs.cloudflare.com/ajax/libs/bootstrap-datepicker/1.4.0/js/bootstrap-datepicker.min.js')

    // Google+ login
    meta(name="google-signin-clientid", content="749085539075-tihno91bjfqlm8950uocj6b5t1tf1asc.apps.googleusercontent.com")
    meta(name="google-signin-scope", content="https://www.googleapis.com/auth/plus.profile.emails.read")
    meta(name="google-signin-requestvisibleactions", content="http://schema.org/AddAction")
    meta(name="google-signin-cookiepolicy", content="single_host_origin")
    script(type="text/javascript", src="/public/js/google-login.js")
    script(src="https://apis.google.com/js/client:platform.js", async, defer)

    // Load base css
    link(rel='stylesheet', href='/public/css/style.css')
    // Load theme css
    link(rel='stylesheet', href='/themes/' + settings.theme + '/style.css')
    // Load socket.io and noty.js
    script(type="text/javascript", src="/socket.io/socket.io.js")
    script(type="text/javascript", src="https://cdnjs.cloudflare.com/ajax/libs/jquery-noty/2.3.5/packaged/jquery.noty.packaged.js")


  body
    nav.top-bar(data-topbar, role='navigation', data-options="is_hover: false", data-options="dropdown_autoclose: false")
      ul.title-area
        li.name
          h1
            a(href='/') wouso-new

      section.top-bar-section
        ul.right
          - if (!user)
            li.active
              a(href='/login') Login
          - else
              // Current role
              - var ROLE = (locals.ROLE ? locals.ROLE : user.role)

              // Display roles only for non-players
              - if (user.role < 4)
                li
                  a(href='#') ROLE:
                li.has-dropdown
                  - if (ROLE == 0)
                    a(href='#') Root
                  - if (ROLE == 1)
                    a(href='#') Admin
                  - if (ROLE == 2)
                    a(href='#') Teacher
                  - if (ROLE == 3)
                    a(href='#') Contributor
                  - if (ROLE == 4)
                    a(href='#') Player

                  // Available roles
                  ul.dropdown
                    - if (user.role == 0)
                      li
                        a(href=locals.URL + '?role=0') Root
                    - if (user.role <= 1)
                      li
                        a(href=locals.URL + '?role=1') Admin
                    - if (user.role <= 2)
                      li
                        a(href=locals.URL + '?role=2') Teacher
                    - if (user.role <= 3)
                      li
                        a(href=locals.URL + '?role=3') Contributor
                    - if (user.role <= 4)
                      li
                        a(href=locals.URL + '?role=4') Player<commit_msg>Show navigation menu on small screens<commit_after>!!! 5
html

  head
    title= __('title')

    // Foundation css + js
    link(rel='stylesheet', href='https://cdnjs.cloudflare.com/ajax/libs/foundation/5.5.1/css/normalize.css')
    link(rel='stylesheet', href='https://cdnjs.cloudflare.com/ajax/libs/foundation/5.5.1/css/foundation.css')
    script(src='https://cdnjs.cloudflare.com/ajax/libs/foundation/5.5.1/js/vendor/modernizr.js')
    script(src='https://cdnjs.cloudflare.com/ajax/libs/foundation/5.5.1/js/vendor/jquery.js')
    script(src='https://cdnjs.cloudflare.com/ajax/libs/foundation/5.5.1/js/vendor/fastclick.js')
    script(src='https://cdnjs.cloudflare.com/ajax/libs/foundation/5.5.1/js/foundation.min.js')

    // Countdown
    link(rel='stylesheet', href='https://code.jquery.com/ui/1.8.2/themes/smoothness/jquery-ui.css')
    script(src='https://code.jquery.com/ui/1.8.2/jquery-ui.min.js')

    // Datepicker
    link(rel='stylesheet', href='https://cdnjs.cloudflare.com/ajax/libs/bootstrap-datepicker/1.4.0/css/bootstrap-datepicker.css')
    script(src='https://cdnjs.cloudflare.com/ajax/libs/bootstrap-datepicker/1.4.0/js/bootstrap-datepicker.min.js')

    // Google+ login
    meta(name="google-signin-clientid", content="749085539075-tihno91bjfqlm8950uocj6b5t1tf1asc.apps.googleusercontent.com")
    meta(name="google-signin-scope", content="https://www.googleapis.com/auth/plus.profile.emails.read")
    meta(name="google-signin-requestvisibleactions", content="http://schema.org/AddAction")
    meta(name="google-signin-cookiepolicy", content="single_host_origin")
    script(type="text/javascript", src="/public/js/google-login.js")
    script(src="https://apis.google.com/js/client:platform.js", async, defer)

    // Load base css
    link(rel='stylesheet', href='/public/css/style.css')
    // Load theme css
    link(rel='stylesheet', href='/themes/' + settings.theme + '/style.css')
    // Load socket.io and noty.js
    script(type="text/javascript", src="/socket.io/socket.io.js")
    script(type="text/javascript", src="https://cdnjs.cloudflare.com/ajax/libs/jquery-noty/2.3.5/packaged/jquery.noty.packaged.js")


  body
    nav.top-bar(data-topbar, role='navigation', data-options="is_hover: false", data-options="dropdown_autoclose: false")
      ul.title-area
        li.name
          h1
            a(href='/') wouso-new
        li.toggle-topbar.menu-icon
          a(href="#")
            span

      section.top-bar-section
        ul.right
          - if (!user)
            li.active
              a(href='/login') Login
          - else
              // Current role
              - var ROLE = (locals.ROLE ? locals.ROLE : user.role)

              // Display roles only for non-players
              - if (user.role < 4)
                li.has-dropdown
                  - if (ROLE == 0)
                    a(href='#') ROLE | Root
                  - if (ROLE == 1)
                    a(href='#') ROLE | Admin
                  - if (ROLE == 2)
                    a(href='#') ROLE | Teacher
                  - if (ROLE == 3)
                    a(href='#') ROLE | Contributor
                  - if (ROLE == 4)
                    a(href='#') ROLE | Player

                  // Available roles
                  ul.dropdown
                    - if (user.role == 0)
                      li
                        a(href=locals.URL + '?role=0') Root
                    - if (user.role <= 1)
                      li
                        a(href=locals.URL + '?role=1') Admin
                    - if (user.role <= 2)
                      li
                        a(href=locals.URL + '?role=2') Teacher
                    - if (user.role <= 3)
                      li
                        a(href=locals.URL + '?role=3') Contributor
                    - if (user.role <= 4)
                      li
                        a(href=locals.URL + '?role=4') Player
{'fraction_non_alphanumeric': 0.1602266872746007, 'fraction_numerical': 0.01880473982483256, 'mean_word_length': 1.8093342981186686, 'pattern_counts': {'":': 0, '<': 13, '<?xml version=': 0, '>': 3, 'https://': 26, 'lorem ipsum': 0, 'www.': 2, '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': '2835118', 'n_tokens_mistral': 2627, 'n_tokens_neox': 2420, 'n_words': 333}