<commit_before><?php defined('SYSPATH') or die('No direct script access.');
/***********************************************************
* mapview_js.php - View
* Writen by Etherton Technologies Ltd. 2012
* Started on 2012-11-27
*************************************************************/
?>
	
	

<link href="<?php echo  URL::base() ?>media/css/templatePreview.css" type="text/css" rel="stylesheet">
<link href="<?php echo  URL::base() ?>media/css/largemap.css" type="text/css" rel="stylesheet">  
<script type="text/javascript" src="<?php echo URL::base(); ?>media/js/jquery.min.js"> </script>
<script type="text/javascript" src="<?php echo URL::base(); ?>media/js/jquery.address-1.4.min.js"> </script>
<script type="text/javascript" src="<?php echo URL::base(); ?>media/js/dragresize.js"> </script>
<script type="text/javascript" src="https://www.google.com/jsapi"></script>
<script type="text/javascript" src="http://maps.google.com/maps/api/js?sensor=false"> </script>
<script type="text/javascript" src="<?php echo URL::base(); ?>media/js/label.js"> </script>
<script type="text/javascript">



/*Todo: Make all these setings on the website:*/
var kmapInfodivHeight = 300;
//modify the base setting for the Google chart here (if necessary)
var kmapInfochartWidth = 315; //if this number is changed, the legend div (which contains the national graph) also needs to be adjusted 
var kmapInfochartBarHeight = 10; //these are numbers, not strings
var kmapInfochartBarHeightMargin = 2;
var kmapInfochartchxsFont = 10;
var kmapInfochart = 'http://chart.apis.google.com/chart?'
+ 'chxs=0,676767,'+kmapInfochartchxsFont+',2,l,676767|1,393939,'+kmapInfochartchxsFont+',1,l,676767'<commit_msg>Allow users to input their own CSS<commit_after><?php defined('SYSPATH') or die('No direct script access.');
/***********************************************************
* mapview_js.php - View
* Writen by Etherton Technologies Ltd. 2012
* Started on 2012-11-27
*************************************************************/
?>
	
	

<link href="<?php echo  URL::base() ?>media/css/templatePreview.css" type="text/css" rel="stylesheet">
<link href="<?php echo  URL::base() ?>media/css/largemap.css" type="text/css" rel="stylesheet">  
<style> <?php echo $map->CSS?></style>
<script type="text/javascript" src="<?php echo URL::base(); ?>media/js/jquery.min.js"> </script>
<script type="text/javascript" src="<?php echo URL::base(); ?>media/js/jquery.address-1.4.min.js"> </script>
<script type="text/javascript" src="<?php echo URL::base(); ?>media/js/dragresize.js"> </script>
<script type="text/javascript" src="https://www.google.com/jsapi"></script>
<script type="text/javascript" src="http://maps.google.com/maps/api/js?sensor=false"> </script>
<script type="text/javascript" src="<?php echo URL::base(); ?>media/js/label.js"> </script>
<script type="text/javascript">



/*Todo: Make all these setings on the website:*/
var kmapInfodivHeight = 300;
//modify the base setting for the Google chart here (if necessary)
var kmapInfochartWidth = 315; //if this number is changed, the legend div (which contains the national graph) also needs to be adjusted 
var kmapInfochartBarHeight = 10; //these are numbers, not strings
var kmapInfochartBarHeightMargin = 2;
var kmapInfochartchxsFont = 10;
var kmapInfochart = 'http://chart.apis.google.com/chart?'
+ 'chxs=0,676767,'+kmapInfochartchxsFont+',2,l,676767|1,393939,'+kmapInfochartchxsFont+',1,l,676767'
{'fraction_non_alphanumeric': 0.23707147007553747, 'fraction_numerical': 0.030796048808832074, 'mean_word_length': 6.341151385927505, 'pattern_counts': {'":': 0, '<': 50, '<?xml version=': 0, '>': 51, 'https://': 2, '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': '5302345', 'n_tokens_mistral': 1146, 'n_tokens_neox': 1089, 'n_words': 269}