<commit_before><!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <link rel="stylesheet" href="css/bootstrap.css">
    <link rel="stylesheet" href="css/bootstrap-theme.css">
    <link rel="stylesheet" href="css/login.css">
    <link rel="stylesheet" href="css/fontello.css">
    <link rel="stylesheet" href="css/app.css">
    <script type="text/javascript" src="js/jquery-2.1.1.min.js"></script>
    <script type="text/javascript" src="js/jquery.cookie.js"></script>
    <script type="text/javascript" src="js/knockout-3.1.0.js"></script>
    <script type="text/javascript" src="js/knockout-es5.min.js"></script>
    <script type="text/javascript" src="js/TrafficCop.js"></script>
    <script type="text/javascript" src="js/infuser.js"></script>
    <script type="text/javascript" src="js/koExternalTemplateEngine.min.js"></script>
    <script type="text/javascript" src="js/bootstrap.min.js"></script>
    <script type="text/javascript" src="js/typeahead.jquery.js"></script>
    <script type="text/javascript" src="js/ko/typeahead.js"></script>
    <script type="text/javascript" src="js/vm/lecture.js"></script>
    <script type="text/javascript" src="js/vm/document.js"></script>
    <script type="text/javascript" src="js/vm/lecturelist.js"></script>
    <script type="text/javascript" src="js/vm/cart.js"></script>
    <script type="text/javascript" src="js/vm/user.js"></script>
    <script type="text/javascript" src="js/vm/print.js"></script>
    <script type="text/javascript" src="js/vm/range.js"></script>
    <script type="text/javascript" src="js/app.js"></script>
    <title>Klausurenverkauf – Fachschaft Mathematik/Informatik</title>
  </head>
  <body>
  <div class="container">
    <nav class="navbar navbar-default" role="navigation">
      <div class="container-fluid">
        <!-- Brand and toggle get grouped for better mobile display -->
        <div class="navbar-header">
          <button type="button" class="navbar-toggle" data-toggle="collapse" data-target="#main-nav">
            <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="#">Odie</a>
        </div>

        <div class="collapse navbar-collapse" id="main-nav">
          <ul class="nav navbar-nav">
            <li data-bind="css: { active: documentsVisible() }, click: show.bind($root, 'documents')"><a href="#">Auswahl</a></li>
            <li data-bind="click: show.bind($root, 'cart')"><a href="#">Einkaufswagen&nbsp;<span class="badge" data-bind="text: cart.length"></span></a></li>
          </ul>
          <ul class="nav navbar-nav navbar-right">
            <li data-bind="visible: user.isAuthenticated, css: { active: printVisible() }, click: show.bind($root, 'print')"><a href="#">Drucken</a></li>
            <li data-bind="visible: !user.isAuthenticated, css: { active: loginVisible() }, click: show.bind($root, 'login')"><a href="#">Als Fachschafter anmelden</a></li>
            <li data-bind="visible: user.isAuthenticated, click: logout.bind($root)"><a href="#">Abmelden</a></li>
            <li data-bind="visible: user.isAuthenticated"><a href='#' style="color: #333333 !important">Hallo,&nbsp;<span data-bind="text: user.firstName"></span></a></li>
          </ul>
        </div>

      </div><!-- /.container-fluid -->
    </nav>

    <!-- Yeah yeah, we know. Sorry, Fefe. -->
    <noscript id="nojs" class="text-center">
      <h1 class="banner">:(</h1>
      <h2 class="banner">Leider benötigt diese Seite JavaScript.</h2>
      <p style="font-family: 'Open Sans', arial;">Solltest du JavaScript in deinem Browser nicht anschalten können (oder wollen), kannst du in der Fachschaft vorbeikommen und die Auswahl vor Ort vornehmen.</p>
    </noscript>

    <!-- document selection -->
    <span data-bind="visible: documentsVisible()" id="documents-view" style="display: none;">
      <div data-bind="template: 'documentselection'"></div>
    </span>

    <!-- shopping cart -->
    <span id="cart" class="cart navbar-default container-fluid navbar" data-bind="visible: cartVisible()" style="display: none;">
      <div data-bind="template: 'shoppingcart'"></div><commit_msg>Don't display application tabs if JavaScript is unavailable anyways.<commit_after><!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <link rel="stylesheet" href="css/bootstrap.css">
    <link rel="stylesheet" href="css/bootstrap-theme.css">
    <link rel="stylesheet" href="css/login.css">
    <link rel="stylesheet" href="css/fontello.css">
    <link rel="stylesheet" href="css/app.css">
    <script type="text/javascript" src="js/jquery-2.1.1.min.js"></script>
    <script type="text/javascript" src="js/jquery.cookie.js"></script>
    <script type="text/javascript" src="js/knockout-3.1.0.js"></script>
    <script type="text/javascript" src="js/knockout-es5.min.js"></script>
    <script type="text/javascript" src="js/TrafficCop.js"></script>
    <script type="text/javascript" src="js/infuser.js"></script>
    <script type="text/javascript" src="js/koExternalTemplateEngine.min.js"></script>
    <script type="text/javascript" src="js/bootstrap.min.js"></script>
    <script type="text/javascript" src="js/typeahead.jquery.js"></script>
    <script type="text/javascript" src="js/ko/typeahead.js"></script>
    <script type="text/javascript" src="js/vm/lecture.js"></script>
    <script type="text/javascript" src="js/vm/document.js"></script>
    <script type="text/javascript" src="js/vm/lecturelist.js"></script>
    <script type="text/javascript" src="js/vm/cart.js"></script>
    <script type="text/javascript" src="js/vm/user.js"></script>
    <script type="text/javascript" src="js/vm/print.js"></script>
    <script type="text/javascript" src="js/vm/range.js"></script>
    <script type="text/javascript" src="js/app.js"></script>
    <title>Klausurenverkauf – Fachschaft Mathematik/Informatik</title>
  </head>
  <body>
  <div class="container">
    <nav class="navbar navbar-default" role="navigation">
      <div class="container-fluid">
        <!-- Brand and toggle get grouped for better mobile display -->
        <div class="navbar-header">
          <button type="button" class="navbar-toggle" data-toggle="collapse" data-target="#main-nav">
            <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="#">Odie</a>
        </div>

        <div class="collapse navbar-collapse" id="main-nav" data-bind="visible: true" style="display: none !important;">
          <ul class="nav navbar-nav">
            <li data-bind="css: { active: documentsVisible() }, click: show.bind($root, 'documents')"><a href="#">Auswahl</a></li>
            <li data-bind="click: show.bind($root, 'cart')"><a href="#">Einkaufswagen&nbsp;<span class="badge" data-bind="text: cart.length"></span></a></li>
          </ul>
          <ul class="nav navbar-nav navbar-right">
            <li data-bind="visible: user.isAuthenticated, css: { active: printVisible() }, click: show.bind($root, 'print')"><a href="#">Drucken</a></li>
            <li data-bind="visible: !user.isAuthenticated, css: { active: loginVisible() }, click: show.bind($root, 'login')"><a href="#">Als Fachschafter anmelden</a></li>
            <li data-bind="visible: user.isAuthenticated, click: logout.bind($root)"><a href="#">Abmelden</a></li>
            <li data-bind="visible: user.isAuthenticated"><a href='#' style="color: #333333 !important">Hallo,&nbsp;<span data-bind="text: user.firstName"></span></a></li>
          </ul>
        </div>

      </div><!-- /.container-fluid -->
    </nav>

    <!-- Yeah yeah, we know. Sorry, Fefe. -->
    <noscript id="nojs" class="text-center">
      <h1 class="banner">:(</h1>
      <h2 class="banner">Leider benötigt diese Seite JavaScript.</h2>
      <p style="font-family: 'Open Sans', arial;">Solltest du JavaScript in deinem Browser nicht anschalten können (oder wollen), kannst du in der Fachschaft vorbeikommen und die Auswahl vor Ort vornehmen.</p>
    </noscript>

    <!-- document selection -->
    <span data-bind="visible: documentsVisible()" id="documents-view" style="display: none;">
      <div data-bind="template: 'documentselection'"></div>
    </span>

    <!-- shopping cart -->
    <span id="cart" class="cart navbar-default container-fluid navbar" data-bind="visible: cartVisible()" style="display: none;">
      <div data-bind="template: 'shoppingcart'"></div>
{'fraction_non_alphanumeric': 0.19986578682473996, 'fraction_numerical': 0.004250083883234538, 'mean_word_length': 3.751328374070138, 'pattern_counts': {'":': 0, '<': 251, '<?xml version=': 0, '>': 251, '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': '4383459', 'n_tokens_mistral': 2894, 'n_tokens_neox': 2815, 'n_words': 548}