<commit_before><html lang="en" ng-app="arachne">
<head>
	
	<base id="baseLink" href="/">

	<meta charset="utf-8">
	<title>Arachne</title>
	<link rel="shortcut icon" href="img/arachnelogo.png">

	<link rel="stylesheet" href="bootstrap/css/bootstrap.min.css">

	<link rel="stylesheet" href="css/MarkerCluster.css">
	<link rel="stylesheet" href="css/MarkerCluster.Default.css">
	<link rel="stylesheet" href="css/app.css"/>
	<link rel="stylesheet" href="css/widgets.css"/>
	<link rel="stylesheet" href="css/leaflet.css">
	<link rel="stylesheet" href="css/angular-ui-tree.min.css">

	<script type="text/javascript">
		var translations = {}
		var parseTransl8 = function (data) {
			for(var i = 0; i < data.length; i++) {
				translations[data[i].key] = data[i].value;
			}
		}
	</script>

	<script type="text/javascript" src="http://crazyhorse.archaeologie.uni-koeln.de/transl8/translation/jsonp?application=arachne4_frontend&callback=parseTransl8"></script>

	<script>
	  (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
	  (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
	  m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
	  })(window,document,'script','//www.google-analytics.com/analytics.js','ga');

	  ga('set', 'anonymizeIp', true);

	  if(document.location.host === "arachne.dainst.org")
  		ga('create', 'UA-53355031-1', 'auto');
	  else
	  	ga('create', 'UA-53342162-1', 'auto');
	</script>

</head>
<body ng-controller="NavBarCtrl">

	<nav class="navbar navbar-default navbar-fixed-top" style="background-color:white; opacity:0.89" role="navigation" ng-controller="MenuCtrl">
		<div style="padding-left:0px; position:relative">
			<img class="pull-left" src="img/kleinergreif.png" style="height: 36px; margin-left: 16px; margin-top: 8px; width: 36px;"></img>
			<img class="pull-left" src="img/arachnelogo.png" style="height: 36px; margin-left: 16px; margin-top: 8px; width: 36px;"></img>
			<a class="navbar-brand" href="#" style="font-weight:300; font-size:20px; height:46px; margin-top: 4px;">arachne </a>
			<div class="text-primary" style="font-size:12px; position:absolute; top:9px; left: 164px;">beta</div>
		</div>

		<div class="navbar-header" ng-init="isCollapsed = true">
			
			<button class="navbar-toggle" ng-click="isCollapsed = !isCollapsed" type="button">
				<span class="sr-only">Toggle navigation</span>
				<span class="icon-bar"></span>
				<span class="icon-bar"></span>
				<span class="icon-bar"></span>
			</button>

		</div>
		<div class="collapse navbar-collapse" collapse="isCollapsed" style="padding-left:10px">
			
			<form ng-controller="SearchFormCtrl"
					ng-submit="search()"
					ng-hide="currentPath == '/'"
					class="navbar-left navbar-form input-group form-inline"
					role="search">
		        <input autofocus type="text" class="form-control" placeholder="<NAME>" ng-model="q" name="q">
		        <span class="navbar-left input-group-btn">
		        	<button type="submit" class="btn btn-default"><span style="line-height:inherit" class="glyphicon glyphicon-search"></span></button><commit_msg>make navbar brand clickable<commit_after><html lang="en" ng-app="arachne">
<head>
	
	<base id="baseLink" href="/">

	<meta charset="utf-8">
	<title>Arachne</title>
	<link rel="shortcut icon" href="img/arachnelogo.png">

	<link rel="stylesheet" href="bootstrap/css/bootstrap.min.css">

	<link rel="stylesheet" href="css/MarkerCluster.css">
	<link rel="stylesheet" href="css/MarkerCluster.Default.css">
	<link rel="stylesheet" href="css/app.css"/>
	<link rel="stylesheet" href="css/widgets.css"/>
	<link rel="stylesheet" href="css/leaflet.css">
	<link rel="stylesheet" href="css/angular-ui-tree.min.css">

	<script type="text/javascript">
		var translations = {}
		var parseTransl8 = function (data) {
			for(var i = 0; i < data.length; i++) {
				translations[data[i].key] = data[i].value;
			}
		}
	</script>

	<script type="text/javascript" src="http://crazyhorse.archaeologie.uni-koeln.de/transl8/translation/jsonp?application=arachne4_frontend&callback=parseTransl8"></script>

	<script>
	  (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
	  (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
	  m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
	  })(window,document,'script','//www.google-analytics.com/analytics.js','ga');

	  ga('set', 'anonymizeIp', true);

	  if(document.location.host === "arachne.dainst.org")
  		ga('create', 'UA-53355031-1', 'auto');
	  else
	  	ga('create', 'UA-53342162-1', 'auto');
	</script>

</head>
<body ng-controller="NavBarCtrl">

	<nav class="navbar navbar-default navbar-fixed-top" style="background-color:white; opacity:0.89" role="navigation" ng-controller="MenuCtrl">
		<div style="padding-left:0px; position:relative">
			<img class="pull-left" src="img/kleinergreif.png" style="height: 36px; margin-left: 16px; margin-top: 8px; width: 36px;"></img>
			<a href="#">
				<img class="pull-left" src="img/arachnelogo.png" style="height: 36px; margin-left: 16px; margin-top: 8px; width: 36px;"></img>
				<span class="navbar-brand" style="font-weight:300; font-size:20px; height:46px; margin-top: 4px;">arachne </span>
				<span class="text-primary" style="font-size:12px; position:absolute; top:9px; left: 164px;">beta</span>
			</a>
		</div>

		<div class="navbar-header" ng-init="isCollapsed = true">
			
			<button class="navbar-toggle" ng-click="isCollapsed = !isCollapsed" type="button">
				<span class="sr-only">Toggle navigation</span>
				<span class="icon-bar"></span>
				<span class="icon-bar"></span>
				<span class="icon-bar"></span>
			</button>

		</div>
		<div class="collapse navbar-collapse" collapse="isCollapsed" style="padding-left:10px">
			
			<form ng-controller="SearchFormCtrl"
					ng-submit="search()"
					ng-hide="currentPath == '/'"
					class="navbar-left navbar-form input-group form-inline"
					role="search">
		        <input autofocus type="text" class="form-control" placeholder="<NAME>" ng-model="q" name="q">
		        <span class="navbar-left input-group-btn">
		        	<button type="submit" class="btn btn-default"><span style="line-height:inherit" class="glyphicon glyphicon-search"></span></button>
{'fraction_non_alphanumeric': 0.20618066561014264, 'fraction_numerical': 0.019334389857369256, 'mean_word_length': 5.11531007751938, 'pattern_counts': {'":': 0, '<': 115, '<?xml version=': 0, '>': 113, 'https://': 0, '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': '2294589', 'n_tokens_mistral': 2527, 'n_tokens_neox': 2236, 'n_words': 360}