<commit_before>doctype html
block vars
  - var selectedDevice = null;
html(lang='en')
  head
    block head
      meta(charset='utf-8')
      meta(http-equiv='X-UA-Compatible', content='IE=edge,chrome=1')
      meta(name='viewport', content='width=device-width')
      title
        block title
          = locals.name

    link(rel='stylesheet', href='http://maxcdn.bootstrapcdn.com/bootstrap/3.2.0/css/bootstrap.min.css')

    style(type='text/css')
      | /*  Top navigation - hide default border to remove 1px line. */
      | .navbar {
      |   border-radius: 0px;
      | }
      | 
      | small {
      |   font-size: 75%;
      | }

  body
    div.navbar.navbar-inverse(role="navigation")
      div.container-fluid
        div.navbar-header
          a.navbar-brand(href="#{contents.index.url}") #{locals.name}

    div.container-fluid
      div.row-fluid.content
        div.col-xs-12.col-md-3
          div.sidebar-nav.well
            ul.nav.nav-pills.nav-stacked
              li.nav-header
                b Devices
              each device in contents.devices
                - var linkCssClass = (selectedDevice == device.metadata.name) ? 'active' : null;
                li(class=linkCssClass)
                  a(href="#{device.url}")
                    | #{device.metadata.name}
                    if device.metadata.displayName
                      br
                      small #{device.metadata.displayName}
<commit_msg>Website: Make the 'Device' section header better readable.<commit_after>doctype html
block vars
  - var selectedDevice = null;
html(lang='en')
  head
    block head
      meta(charset='utf-8')
      meta(http-equiv='X-UA-Compatible', content='IE=edge,chrome=1')
      meta(name='viewport', content='width=device-width')
      title
        block title
          = locals.name

    link(rel='stylesheet', href='http://maxcdn.bootstrapcdn.com/bootstrap/3.2.0/css/bootstrap.min.css')

    style(type='text/css')
      | /*  Top navigation - hide default border to remove 1px line. */
      | .navbar {
      |   border-radius: 0px;
      | }
      | 
      | small {
      |   font-size: 75%;
      | }

  body
    div.navbar.navbar-inverse(role="navigation")
      div.container-fluid
        div.navbar-header
          a.navbar-brand(href="#{contents.index.url}") #{locals.name}

    div.container-fluid
      div.row-fluid.content
        div.col-xs-12.col-md-3
          div.sidebar-nav.well
            ul.nav.nav-pills.nav-stacked
              li.nav-header
                h3 Devices
              each device in contents.devices
                - var linkCssClass = (selectedDevice == device.metadata.name) ? 'active' : null;
                li(class=linkCssClass)
                  a(href="#{device.url}")
                    | #{device.metadata.name}
                    if device.metadata.displayName
                      br
                      small #{device.metadata.displayName}

{'fraction_non_alphanumeric': 0.12839673913043478, 'fraction_numerical': 0.008491847826086956, 'mean_word_length': 1.760074976569822, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '5500008', 'n_tokens_mistral': 916, 'n_tokens_neox': 853, 'n_words': 147}