<commit_before># -*- coding: utf-8 -*-
<!DOCTYPE html>

<!--[if lt IE 7 ]> <html lang="en" class="ie ie6"> <![endif]-->
<!--[if IE 7 ]>    <html lang="en" class="ie ie7"> <![endif]-->
<!--[if IE 8 ]>    <html lang="en" class="ie ie8"> <![endif]-->
<!--[if IE 9 ]>    <html lang="en" class="ie ie9"> <![endif]-->
<!--[if (gt IE 9)|!(IE)]><!--> 
<html lang="en"> 
<!--<![endif]-->
<head>

<meta charset="utf-8" /> 

  
  ${ h.javascript_link( '/static/jquery.js' ) }
  ${self.head_tags()}
  <script type="text/javascript">
  $(document).ready( function() {

  $('a.delete').click( function() {
    var theAnchor = this;
    if ( confirm('Are you sure you want to delete this?' ) )
      $.ajax({
        type: 'DELETE',
        url: $(this).attr('href'),
        dataType: 'json',
        success: function() {
            var toRemove = $(theAnchor).attr('data-remove');
            $("#" + toRemove).remove();
        },
        error: function (XMLHttpRequest, textStatus, errorThrown) {
          alert("Ooooops!, request failed with status: " + XMLHttpRequest.status + ' ' + XMLHttpRequest.responseText);
        }
      });
    return false;
  });
});
  </script>
  
  
  <!--[if lt IE 9]>
  ${ h.javascript_link( '/static/js/html5.js' ) }
  <![endif]-->
  
  <!-- print stylesheet for print stlying -->
  <link media="print"  href="/static/styles/print.css" rel="stylesheet" type="text/css"/>
  
  
  <!-- general reset styles for getting rid of annoying browser defaults -->
  <link media="all"  href="/static/styles/reset.css" rel="stylesheet" type="text/css"/>

  <!-- basic styles suitable for all devices *DO NOT put layout stuff here * -->
<link media="all"  href="/static/styles/basic.css" rel="stylesheet" type="text/css"/>

  <!-- styles for mobile devices-->
  <link href="/static/styles/marmoset.css" rel="stylesheet" type="text/css" media="screen and (max-width: 639px)"/> 

  <!-- styles for smallscreen devices-->
  <link href="/static/styles/squirrelMonkey.css" rel="stylesheet" type="text/css" media="(min-width: 640px)"/> 


  <!-- styles for small-to-medium screen desktop  devices-->
  <link rel="stylesheet" type="text/css" href="/static/styles/chimpanzee.css"
media="(min-width: 1100px) and (max-width: 1600px)"/> 


  <!-- styles for large screen desktop devices-->
  <link  rel="stylesheet" type="text/css" href="/static/styles/silverback.css" media="screen and (min-width: 1601px)"/> 


  <!-- styles for Internet explorer - imports the small/medium desktop stylesheet and contains  any ie-specific styles -->
  <!--[if (gt IE 4)&(lt IE 9)]>
    <link media="screen" href="/static/styles/ie.css" rel="stylesheet" type="text/css"/>
  <![endif]-->

<!-- encourage mobile devices to initially load the site without zooming out -->
<meta name="viewport" content="width=device-width, initial-scale=1.0" />

<meta name="keywords" content="" />

<meta name="description" content="" />
 
  </head>
<body>
  <div id="page" >
    <header class="pageHeader">
      <%include file="/header.html"/>
      
      
      <nav>

     <!--  mainnav div starts -->
<label>main navigation</label>

	<ul id="mainnav">
	<li> <a href="/" id="nav-index" >Home</a></li>
	
	<li><a href="/silos" >Browse</a></li>
	
	<li><a href="/searching" >Search</a></li>
	
	<li><a href="/keywords" >keywords</a></li>
	
	<li><a href="/about" >about</a></li>


% if c.ident and c.ident['role'] == "admin":
<li><a href="/admin">Admin</a></li>
% endif

</ul>

% if c.ident and c.ident['role'] == "admin":
<label>admin navigation</label>

<ul class="admin-nav" >
<li> <a href="/silos">Silos</a></li>
% if c.silo_name:
<li><a href="/${c.silo_name}/datasets">${c.silo_name}</a></li>
% endif 

%   if c.silo_name:
<li><a href="/${c.silo_name}/admin">manage <span class="name" >${c.silo_name}</span></a></li>
%   endif
</ul>


% endif
% if c.id:
<label>breadcrumb trail</label>
<ul class="breadcrumb" >

%   if c.path:
<li> Subdirectory <a href="/${c.silo_name}/datasets/${c.id}/${c.path}">${c.id}/${c.path}</a></li>
<li> Root directory: <a href="/${c.silo_name}/datasets/${c.id}">${c.id}</a> </li>
%   else:
<li> Root directory of <a href="/${c.silo_name}/datasets/${c.id}">${c.id}</a> </li>
%   endif
</ul>
% endif


	
</nav>
      

</header>



<div class="main">


    <article class="content" >

	<div class="wrapper">
	
	
	
	
	
	
    ${self.body()}
      	</div>
	</article> 
 	<div class="clear" ></div>
 
 
 </div><!-- close .main -->
      <footer class="site">
      <%include file="/footer.html"/>
      </footer>
    </div><!-- /end #page -->
  </body>
</html>
<commit_msg>add speculative sword auto-discovery url to all pages using base.html in databank<commit_after># -*- coding: utf-8 -*-
<!DOCTYPE html>

<!--[if lt IE 7 ]> <html lang="en" class="ie ie6"> <![endif]-->
<!--[if IE 7 ]>    <html lang="en" class="ie ie7"> <![endif]-->
<!--[if IE 8 ]>    <html lang="en" class="ie ie8"> <![endif]-->
<!--[if IE 9 ]>    <html lang="en" class="ie ie9"> <![endif]-->
<!--[if (gt IE 9)|!(IE)]><!--> 
<html lang="en"> 
<!--<![endif]-->
<head>

<meta charset="utf-8" /> 

  
  ${ h.javascript_link( '/static/jquery.js' ) }
  ${self.head_tags()}
  <script type="text/javascript">
  $(document).ready( function() {

  $('a.delete').click( function() {
    var theAnchor = this;
    if ( confirm('Are you sure you want to delete this?' ) )
      $.ajax({
        type: 'DELETE',
        url: $(this).attr('href'),
        dataType: 'json',
        success: function() {
            var toRemove = $(theAnchor).attr('data-remove');
            $("#" + toRemove).remove();
        },
        error: function (XMLHttpRequest, textStatus, errorThrown) {
          alert("Ooooops!, request failed with status: " + XMLHttpRequest.status + ' ' + XMLHttpRequest.responseText);
        }
      });
    return false;
  });
});
  </script>
  
  
  <!--[if lt IE 9]>
  ${ h.javascript_link( '/static/js/html5.js' ) }
  <![endif]-->
  
  <!-- auto-discovery link to sword service document -->
  <link rel="http://purl.org/net/sword/discovery/service-document" href="/swordv2/service-document"/>
  
  <!-- print stylesheet for print stlying -->
  <link media="print"  href="/static/styles/print.css" rel="stylesheet" type="text/css"/>
  
  
  <!-- general reset styles for getting rid of annoying browser defaults -->
  <link media="all"  href="/static/styles/reset.css" rel="stylesheet" type="text/css"/>

  <!-- basic styles suitable for all devices *DO NOT put layout stuff here * -->
<link media="all"  href="/static/styles/basic.css" rel="stylesheet" type="text/css"/>

  <!-- styles for mobile devices-->
  <link href="/static/styles/marmoset.css" rel="stylesheet" type="text/css" media="screen and (max-width: 639px)"/> 

  <!-- styles for smallscreen devices-->
  <link href="/static/styles/squirrelMonkey.css" rel="stylesheet" type="text/css" media="(min-width: 640px)"/> 


  <!-- styles for small-to-medium screen desktop  devices-->
  <link rel="stylesheet" type="text/css" href="/static/styles/chimpanzee.css"
media="(min-width: 1100px) and (max-width: 1600px)"/> 


  <!-- styles for large screen desktop devices-->
  <link  rel="stylesheet" type="text/css" href="/static/styles/silverback.css" media="screen and (min-width: 1601px)"/> 


  <!-- styles for Internet explorer - imports the small/medium desktop stylesheet and contains  any ie-specific styles -->
  <!--[if (gt IE 4)&(lt IE 9)]>
    <link media="screen" href="/static/styles/ie.css" rel="stylesheet" type="text/css"/>
  <![endif]-->

<!-- encourage mobile devices to initially load the site without zooming out -->
<meta name="viewport" content="width=device-width, initial-scale=1.0" />

<meta name="keywords" content="" />

<meta name="description" content="" />
 
  </head>
<body>
  <div id="page" >
    <header class="pageHeader">
      <%include file="/header.html"/>
      
      
      <nav>

     <!--  mainnav div starts -->
<label>main navigation</label>

	<ul id="mainnav">
	<li> <a href="/" id="nav-index" >Home</a></li>
	
	<li><a href="/silos" >Browse</a></li>
	
	<li><a href="/searching" >Search</a></li>
	
	<li><a href="/keywords" >keywords</a></li>
	
	<li><a href="/about" >about</a></li>


% if c.ident and c.ident['role'] == "admin":
<li><a href="/admin">Admin</a></li>
% endif

</ul>

% if c.ident and c.ident['role'] == "admin":
<label>admin navigation</label>

<ul class="admin-nav" >
<li> <a href="/silos">Silos</a></li>
% if c.silo_name:
<li><a href="/${c.silo_name}/datasets">${c.silo_name}</a></li>
% endif 

%   if c.silo_name:
<li><a href="/${c.silo_name}/admin">manage <span class="name" >${c.silo_name}</span></a></li>
%   endif
</ul>


% endif
% if c.id:
<label>breadcrumb trail</label>
<ul class="breadcrumb" >

%   if c.path:
<li> Subdirectory <a href="/${c.silo_name}/datasets/${c.id}/${c.path}">${c.id}/${c.path}</a></li>
<li> Root directory: <a href="/${c.silo_name}/datasets/${c.id}">${c.id}</a> </li>
%   else:
<li> Root directory of <a href="/${c.silo_name}/datasets/${c.id}">${c.id}</a> </li>
%   endif
</ul>
% endif


	
</nav>
      

</header>



<div class="main">


    <article class="content" >

	<div class="wrapper">
	
	
	
	
	
	
    ${self.body()}
      	</div>
	</article> 
 	<div class="clear" ></div>
 
 
 </div><!-- close .main -->
      <footer class="site">
      <%include file="/footer.html"/>
      </footer>
    </div><!-- /end #page -->
  </body>
</html>

{'fraction_non_alphanumeric': 0.2223479781870563, 'fraction_numerical': 0.007305278320814899, 'mean_word_length': 2.7327188940092166, 'pattern_counts': {'":': 4, '<': 271, '<?xml version=': 0, '>': 269, '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': '2991006', 'n_tokens_mistral': 3652, 'n_tokens_neox': 3371, 'n_words': 758}