<commit_before><!DOCTYPE html>
<html>
<head>

<!-- 
  Copyright 2013 Microsoft Corporation.
 
  This is free software; you can redistribute it and/or modify it under the
  terms of the Apache License, Version 2.0. A copy of the License can be
  found in the file "license.txt" at the root of this distribution.
-->

<!-- Editor themes -->
<link rel="stylesheet" type="text/css" media="screen" href="lib/vs/editor/css/vs-dark-theme.css" />
<link rel="stylesheet" type="text/css" media="screen" href="lib/vs/editor/css/vs-theme.css" />

<!-- madoko style -->
<link rel="stylesheet" type="text/css" href="styles/madoko.css">

<!-- main style -->
<link rel="stylesheet" type="text/css" href="styles/main.css">

</head>

<body class="theme-dark" >
<noscript>
<p>Madoko is a dynamic application that requires JavaScript.</p>
<p>Please enable JavaScript in your browser and reload.</p>
</noscript>
<div id="oldbrowser" style="display:none; padding: 1ex">
<p>Madoko uses HTML5 features and requires a recent browser version to work correctly.</p>
<p>Please upgrade your browser to a more recent version.</p>
<p>Madoko is known to work with IE 10+, Chrome 31+, Safari 7+, and Firefox 27+.</p>
</div>
<div id="multibrowser" style="display:none; padding: 1ex">
<p>Snap! You already have Madoko open in another window.</p>
<p>Unfortunately, Madoko only works within a single browser window.</p>
<p></p>
<p>(After a browser crash, you may have to wait up to a minute for this message to disappear)</p>
</div>

<div id="fullapp" style="display:none">
<div class="app-header header-bar">
    <div id="document" class="popup">
      <img id="cloud" class="button" src="images/dark/button-folder.png"/>
      <div id="document-content" class="menu boxed">
        <div id="new" class="button" title="Create a new document"
          ><span class="icon"><img src="images/icon-plus.png"/></span>New ...</div>
        <div id="open" class="button" title="Open document from cloud storage"
          ><span class="icon"><img src="images/icon-local.png"/></span>Open ...</div>
        <div id="save" class="button" title="Save document to cloud storage"
          ><span class="icon"><img src="images/icon-disk.png"/></span>Save as ...</div>        
        <hr/>      
        <div id="snapshot" class="button" title="Save a full copy of the current document in a 'snapshot-<date>' sub-folder on the cloud storage"
          ><span class="icon"><img src="images/icon-snapshot.png"/></span>Save a snapshot</div>
        <div id="connect" class="button" title="(Re)Connect to cloud storage"
          ><span class="icon"><img src="images/icon-connect.png"/></span>Connections ...</div>        
        <hr/>
        <div id="export-html" class="button" title="Export the document as a stand-alone web-page (HTML)">
        <span class="icon"><img src="images/icon-html.png" title="Generate HTML"/></span>Generate HTML page</div>
        <div id="export-pdf" class="button" title="Export the document as PDF">
        <span class="icon"><img src="images/icon-pdf.png" title="Generate PDF"/></span>Generate PDF document</div>
      </div>
    </div
    ><div id="edit-select" class="popup" >
      <img id="sync-spinner" class="button gspinner" src="images/dark/spinner-sync.gif" title="Synchronize with cloud storage"/>
      <img id="remote-logo" src="images/icon-empty.png"/>
      <span id="edit-select-header">&nbsp;</span>
      <div id="edit-select-content" class="menu boxed">
        <div id="edit-select-directory"></div>
        <div id="edit-select-files"></div>        
      </div
    ></div>

    <div class="right">
      <img id="view-spinner" class="spinner" src="images/dark/icon-spinner.png" alt="view spinner"/>
      <div id="menu-settings" class="popup">
        <img class="button" src="images/dark/button-settings.png" />
        <div id="menu-settings-content" class="menu boxed">
          <div class="button" title="Synchronize automatically with cloud storage (every 30 seconds)"><commit_msg>Use gif view spinner to fix rendering on chrome<commit_after><!DOCTYPE html>
<html>
<head>

<!-- 
  Copyright 2013 Microsoft Corporation.
 
  This is free software; you can redistribute it and/or modify it under the
  terms of the Apache License, Version 2.0. A copy of the License can be
  found in the file "license.txt" at the root of this distribution.
-->

<!-- Editor themes -->
<link rel="stylesheet" type="text/css" media="screen" href="lib/vs/editor/css/vs-dark-theme.css" />
<link rel="stylesheet" type="text/css" media="screen" href="lib/vs/editor/css/vs-theme.css" />

<!-- madoko style -->
<link rel="stylesheet" type="text/css" href="styles/madoko.css">

<!-- main style -->
<link rel="stylesheet" type="text/css" href="styles/main.css">

</head>

<body class="theme-dark" >
<noscript>
<p>Madoko is a dynamic application that requires JavaScript.</p>
<p>Please enable JavaScript in your browser and reload.</p>
</noscript>
<div id="oldbrowser" style="display:none; padding: 1ex">
<p>Madoko uses HTML5 features and requires a recent browser version to work correctly.</p>
<p>Please upgrade your browser to a more recent version.</p>
<p>Madoko is known to work with IE 10+, Chrome 31+, Safari 7+, and Firefox 27+.</p>
</div>
<div id="multibrowser" style="display:none; padding: 1ex">
<p>Snap! You already have Madoko open in another window.</p>
<p>Unfortunately, Madoko only works within a single browser window.</p>
<p></p>
<p>(After a browser crash, you may have to wait up to a minute for this message to disappear)</p>
</div>

<div id="fullapp" style="display:none">
<div class="app-header header-bar">
    <div id="document" class="popup">
      <img id="cloud" class="button" src="images/dark/button-folder.png"/>
      <div id="document-content" class="menu boxed">
        <div id="new" class="button" title="Create a new document"
          ><span class="icon"><img src="images/icon-plus.png"/></span>New ...</div>
        <div id="open" class="button" title="Open document from cloud storage"
          ><span class="icon"><img src="images/icon-local.png"/></span>Open ...</div>
        <div id="save" class="button" title="Save document to cloud storage"
          ><span class="icon"><img src="images/icon-disk.png"/></span>Save as ...</div>        
        <hr/>      
        <div id="snapshot" class="button" title="Save a full copy of the current document in a 'snapshot-<date>' sub-folder on the cloud storage"
          ><span class="icon"><img src="images/icon-snapshot.png"/></span>Save a snapshot</div>
        <div id="connect" class="button" title="(Re)Connect to cloud storage"
          ><span class="icon"><img src="images/icon-connect.png"/></span>Connections ...</div>        
        <hr/>
        <div id="export-html" class="button" title="Export the document as a stand-alone web-page (HTML)">
        <span class="icon"><img src="images/icon-html.png" title="Generate HTML"/></span>Generate HTML page</div>
        <div id="export-pdf" class="button" title="Export the document as PDF">
        <span class="icon"><img src="images/icon-pdf.png" title="Generate PDF"/></span>Generate PDF document</div>
      </div>
    </div
    ><div id="edit-select" class="popup" >
      <img id="sync-spinner" class="button gspinner" src="images/dark/spinner-sync.gif" title="Synchronize with cloud storage"/>
      <img id="remote-logo" src="images/icon-empty.png"/>
      <span id="edit-select-header">&nbsp;</span>
      <div id="edit-select-content" class="menu boxed">
        <div id="edit-select-directory"></div>
        <div id="edit-select-files"></div>        
      </div
    ></div>

    <div class="right">
      <img id="view-spinner" class="gspinner" src="images/dark/spinner-view.gif" alt="view spinner"/>
      <div id="menu-settings" class="popup">
        <img class="button" src="images/dark/button-settings.png" />
        <div id="menu-settings-content" class="menu boxed">
          <div class="button" title="Synchronize automatically with cloud storage (every 30 seconds)">
{'fraction_non_alphanumeric': 0.1729164071259499, 'fraction_numerical': 0.004484863585399277, 'mean_word_length': 3.670157068062827, 'pattern_counts': {'":': 0, '<': 203, '<?xml version=': 0, '>': 203, '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': '772921', 'n_tokens_mistral': 2486, 'n_tokens_neox': 2415, 'n_words': 721}