<commit_before>﻿<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
    <title>Ticks &rarr; DateTime</title>
    <style>
        body {
            font-size: 200%;
        }
        body,input {
            /* via stackoverflow's code css */
            font-family: Consolas, Menlo, Monaco, Lucida Console, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace, serif;            
        }
        input {
            font-size: 100%;
            padding: 5px 10px;
        }

        #congratulations {
            opacity: 0;
        }

            #congratulations.show {
                opacity: 1;
                transition: opacity 1s ease-in-out;
            }
    </style>
</head>
<body>
    <div>
        <input type="text" placeholder="ticks" name="ticks" id="ticks" size="17" autofocus="autofocus" />
        &rarr;
        <input type="text" placeholder="datetime" name="datetime" size="23" id="datetime" />
        <span id="congratulations">Congratulations!</span>
    </div>
    <script>
        window.onload = function () {
            var ticksInput = document.getElementById("ticks");
            var dateTimeInput = document.getElementById("datetime");
            var congratulations = document.getElementById("congratulations");
            var congratulationsTimer;<commit_msg>made input readonly; reduced list of fonts to something more reasonable<commit_after>﻿<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
    <title>Ticks &rarr; DateTime</title>
    <style>
        body {
            font-size: 200%;
        }

        body, input {
            font-family: Consolas, Courier New, monospace;
        }

        input {
            font-size: 100%;
            padding: 5px 10px;
        }

        #congratulations {
            opacity: 0;
        }

            #congratulations.show {
                opacity: 1;
                transition: opacity 1s ease-in-out;
            }

        #datetime {
            border: none;
        }
    </style>
</head>
<body>
    <div>
        <input type="text" placeholder="ticks" name="ticks" id="ticks" size="17" autofocus="autofocus" />
        &rarr;
        <input type="text" placeholder="datetime" name="datetime" id="datetime" size="23" readonly="readonly" />
        <span id="congratulations">Congratulations!</span>
    </div>
    <script>
        window.onload = function () {
            var ticksInput = document.getElementById("ticks");
            var dateTimeInput = document.getElementById("datetime");
            var congratulations = document.getElementById("congratulations");
            var congratulationsTimer;
{'fraction_non_alphanumeric': 0.12658700522778193, 'fraction_numerical': 0.01568334578043316, 'mean_word_length': 1.9733629300776914, 'pattern_counts': {'":': 0, '<': 35, '<?xml version=': 0, '>': 35, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 2}, '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': '175631', 'n_tokens_mistral': 820, 'n_tokens_neox': 728, 'n_words': 170}