<commit_before><!DOCTYPE html>
%#Set default values
%if not 'js' in locals(): js = []
%if not 'title' in locals(): title = 'No title'
%if not 'css' in locals(): css = []
%if not 'print_menu' in locals(): print_menu = True
%if not 'print_header' in locals(): print_header = True
%if not 'print_footer' in locals(): print_footer = True
%if not 'refresh' in locals(): refresh = False
%if not 'user' in locals(): user = None
%if not 'app' in locals(): app = None


%print "APP is", app

%# If not need, disable the top right banner
%if not 'top_right_banner_state' in locals(): top_right_banner_state = 0

%# For the menu selection
%if not 'menu_part' in locals(): menu_part = ''

<html lang="en">
  <head>
    <meta charset="utf-8">
    <title>{{title or 'No title'}}</title>

    <!-- Le HTML5 shim, for IE6-8 support of HTML elements -->
    <!--[if lt IE 9]>
      <script src="/static/js/html5.js"></script>
      <script src="/static/js/json2.js"></script>
    <![endif]-->

    <!-- Le styles -->
    <link href="/static/css/bootstrap.css" rel="stylesheet">
    <link href="/static/css/custom/layout.css" rel="stylesheet">
    <link href="/static/css/custom/badger.css" rel="stylesheet">
    <link href="/static/css/elements/jquery.meow.css" rel="stylesheet">
    <link href="/static/css/elements/header-element.css" rel="stylesheet">
    <link href="/static/css/custom/deptree.css" rel="stylesheet">
    <link href="/static/css/custom/buttons.css" rel="stylesheet">
    <link href="/static/css/elements/jquery.pageslide.css" rel="stylesheet">
    <!-- css3 effect for pulse is not available on IE
	 It's not real comment, if so it will not work.
      -->

    <![if !IE]>
    <link href="/static/css/elements/pulse.css" rel="stylesheet">
    <![endif]>

    <!-- Warnign, this version of datepicker came from http://dl.dropbox.com/u/143355/datepicker/datepicker.html -->
    <link href="/static/css/custom/datepicker.css" rel="stylesheet">

    %# And now for css files
      %for p in css:
    <link rel="stylesheet" type="text/css" href="/static/{{p}}">
      %end

    <style type="text/css">
      body {
        padding-top: 60px;
        padding-bottom: 40px;
      }
      .sidebar-nav {
        padding: 9px 0;
      }
    </style>


    <!-- Le javascript
    ================================================== -->
    <!-- WAS Placed at the end of the document so the pages load faster -->
    <!-- but then we a't call $ in our html page. So we will loose a bit loading speed (just
	 for the first launch, not a big deal) but then we can call jquery in our page -->
    <script src="/static/js/jquery.js"></script>
    <script src="/static/js/jquery-ui-1.8.17.custom.min.js"></script>
    <script src="/static/js/shinkenui.js"></script>
    <script src="/static/js/bootstrap-collapse.js"></script>
    <script src="/static/js/bootstrap-tab.js"></script>
    <script src="/static/js/bootstrap-button.js"></script>
    <script src="/static/js/bootstrap-dropdown.js"></script>
    <script src="/static/js/bootstrap-tooltip.js"></script>
    <script src="/static/js/bootstrap-modal.js"></script>
    <script src="/static/js/bootstrap-popover.js"></script>
    <script src="/static/js/bootstrap-transition.js"></script>

    <script src="/static/js/jquery.pageslide.js"></script>
    <!-- Warnign, this version of datepicker came from http://dl.dropbox.com/u/143355/datepicker/datepicker.html -->
    <script src="/static/js/bootstrap-datepicker.js"></script>
    <!-- Warnign, this version of typeahead came from https://gist.github.com/1866577 -->
    <script src="/static/js/bootstrap-typeahead.js"></script>
    <script src="/static/js/jquery.meow.js"></script>
    <script src="/static/js/jquery-jsonp-2.2.1.min.js"></script>

    <!--Shinken ones-->
    <script src="/static/js/shinken-refresh.js"></script>
    <script src="/static/js/shinken-actions.js"></script>
    <script src="/static/js/shinken-deptree.js"></script>
    <script src="/static/js/shinken-greeting.js"></script>
    <script src="/static/js/shinken-opacity.js"></script>
    <script src="/static/js/shinken-modals.js"></script>
    <script src="/static/js/shinken-widgets.js"></script>

    %# End of classic js import. Now call for specific ones
      %for p in js:
    <script type="text/javascript" src="/static/{{p}}"></script>
      %end

  </head>

<body>
	%if print_header:
		%include header_element globals()
	%end

    <div class="container-fluid no-leftpadding">
      <div class="row-fluid">
%#        <div class="span2 min-height">
%#			%if print_menu:
%#				%include navigation_element globals()
%#			%end
%#        </div><!--/span-->
        <div class="span12 min-height">
			%include
        </div><!--/span-->
      </div><!--/row-->

      <hr>
    %if print_footer:
		  %include footer_element
    %end

    </div><!--/.fluid-container-->
  <!-- The modal div that will be shown when we want, and after put in it the data we want -->
  <div class="modal fade" id="modal"></div>

  </body>
</html>
<commit_msg>Fix issue #468 by adding a downlevel-hidden conditional comment<commit_after><!DOCTYPE html>
%#Set default values
%if not 'js' in locals(): js = []
%if not 'title' in locals(): title = 'No title'
%if not 'css' in locals(): css = []
%if not 'print_menu' in locals(): print_menu = True
%if not 'print_header' in locals(): print_header = True
%if not 'print_footer' in locals(): print_footer = True
%if not 'refresh' in locals(): refresh = False
%if not 'user' in locals(): user = None
%if not 'app' in locals(): app = None


%print "APP is", app

%# If not need, disable the top right banner
%if not 'top_right_banner_state' in locals(): top_right_banner_state = 0

%# For the menu selection
%if not 'menu_part' in locals(): menu_part = ''

<html lang="en">
  <head>
    <meta charset="utf-8">
    <title>{{title or 'No title'}}</title>

    <!-- Le HTML5 shim, for IE6-8 support of HTML elements -->
    <!--[if lt IE 9]>
      <script src="/static/js/html5.js"></script>
      <script src="/static/js/json2.js"></script>
    <![endif]-->

    <!-- Le styles -->
    <link href="/static/css/bootstrap.css" rel="stylesheet">
    <link href="/static/css/custom/layout.css" rel="stylesheet">
    <link href="/static/css/custom/badger.css" rel="stylesheet">
    <link href="/static/css/elements/jquery.meow.css" rel="stylesheet">
    <link href="/static/css/elements/header-element.css" rel="stylesheet">
    <link href="/static/css/custom/deptree.css" rel="stylesheet">
    <link href="/static/css/custom/buttons.css" rel="stylesheet">
    <link href="/static/css/elements/jquery.pageslide.css" rel="stylesheet">
    <!-- css3 effect for pulse is not available on IE
	 It's not real comment, if so it will not work.
      -->

    <!--[IF !IE]> -->
    <link href="/static/css/elements/pulse.css" rel="stylesheet">
    <!-- <![ENDIF]-->

    <!-- Warnign, this version of datepicker came from http://dl.dropbox.com/u/143355/datepicker/datepicker.html -->
    <link href="/static/css/custom/datepicker.css" rel="stylesheet">

    %# And now for css files
      %for p in css:
    <link rel="stylesheet" type="text/css" href="/static/{{p}}">
      %end

    <style type="text/css">
      body {
        padding-top: 60px;
        padding-bottom: 40px;
      }
      .sidebar-nav {
        padding: 9px 0;
      }
    </style>


    <!-- Le javascript
    ================================================== -->
    <!-- WAS Placed at the end of the document so the pages load faster -->
    <!-- but then we a't call $ in our html page. So we will loose a bit loading speed (just
	 for the first launch, not a big deal) but then we can call jquery in our page -->
    <script src="/static/js/jquery.js"></script>
    <script src="/static/js/jquery-ui-1.8.17.custom.min.js"></script>
    <script src="/static/js/shinkenui.js"></script>
    <script src="/static/js/bootstrap-collapse.js"></script>
    <script src="/static/js/bootstrap-tab.js"></script>
    <script src="/static/js/bootstrap-button.js"></script>
    <script src="/static/js/bootstrap-dropdown.js"></script>
    <script src="/static/js/bootstrap-tooltip.js"></script>
    <script src="/static/js/bootstrap-modal.js"></script>
    <script src="/static/js/bootstrap-popover.js"></script>
    <script src="/static/js/bootstrap-transition.js"></script>

    <script src="/static/js/jquery.pageslide.js"></script>
    <!-- Warnign, this version of datepicker came from http://dl.dropbox.com/u/143355/datepicker/datepicker.html -->
    <script src="/static/js/bootstrap-datepicker.js"></script>
    <!-- Warnign, this version of typeahead came from https://gist.github.com/1866577 -->
    <script src="/static/js/bootstrap-typeahead.js"></script>
    <script src="/static/js/jquery.meow.js"></script>
    <script src="/static/js/jquery-jsonp-2.2.1.min.js"></script>

    <!--Shinken ones-->
    <script src="/static/js/shinken-refresh.js"></script>
    <script src="/static/js/shinken-actions.js"></script>
    <script src="/static/js/shinken-deptree.js"></script>
    <script src="/static/js/shinken-greeting.js"></script>
    <script src="/static/js/shinken-opacity.js"></script>
    <script src="/static/js/shinken-modals.js"></script>
    <script src="/static/js/shinken-widgets.js"></script>

    %# End of classic js import. Now call for specific ones
      %for p in js:
    <script type="text/javascript" src="/static/{{p}}"></script>
      %end

  </head>

<body>
	%if print_header:
		%include header_element globals()
	%end

    <div class="container-fluid no-leftpadding">
      <div class="row-fluid">
%#        <div class="span2 min-height">
%#			%if print_menu:
%#				%include navigation_element globals()
%#			%end
%#        </div><!--/span-->
        <div class="span12 min-height">
			%include
        </div><!--/span-->
      </div><!--/row-->

      <hr>
    %if print_footer:
		  %include footer_element
    %end

    </div><!--/.fluid-container-->
  <!-- The modal div that will be shown when we want, and after put in it the data we want -->
  <div class="modal fade" id="modal"></div>

  </body>
</html>

{'fraction_non_alphanumeric': 0.19409491726939462, 'fraction_numerical': 0.00901614980679679, 'mean_word_length': 3.113284433577832, 'pattern_counts': {'":': 0, '<': 214, '<?xml version=': 0, '>': 214, 'https://': 2, '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': '7125339', 'n_tokens_mistral': 3386, 'n_tokens_neox': 3222, 'n_words': 816}