<commit_before><!DOCTYPE html>
<html>
<head>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
 <meta name="viewport" content="width=320">
 <meta name="description" content="Blokus Duo is a board game for two players. You can play against the computer in three levels of difficulty.">
 <meta name="mobile-web-app-capable" content="yes">

 <link rel="apple-touch-icon" href="icon/blokus-120x120.png" type="image/png">
 <link rel="icon" href="icon/blokus-120x120.png" type="image/png">

 <script type="text/javascript" src="piece.js"></script>
 <script type="text/javascript" src="board.js"></script>
 <script type="text/javascript" src="backend.js"></script>
 <script type="text/javascript" src="blokus_m.js"></script>
 <script type="text/javascript" src="navigation.js"></script>
 <style type="text/css">
   body {
     background-color: #ffe;
     font-family: sans-serif;
   }
   #board {
     position: absolute;
     background-color: #ccc;
     border: solid black;
     border-width: 1px;
     left: 19px;
     top: 19px;
     width: 280px;
     height: 280px;
   }
   #piece-area {
     position: absolute;
     left: 20px;
     top: 360px;
     width: 260px;
     height: 100px;
     padding: 10px;
     border-radius: 5px;
     background-color: #eee;
   }
   .vgrid {
     position: absolute;
     top: 0px;
     width: 1px;
     height: 280px;
     border: solid #eee;
     border-width: 0px 0px 0px 1px;
   }
   .hgrid {
     position: absolute;
     left: 0px;
     width: 280px;
     height: 1px;
     border: solid #eee;
     border-width: 1px 0px 0px 0px;
   }
   .marker {
     position: absolute;
     width: 17px;
     height: 17px;
     border-radius: 17px;
   }
   .block0 {
     background-color: #63d;
   }
   .block1 {
     background-color: #f72;
   }
   .block0highlight {
     animation-duration: 2s;
     animation-iteration-count: 5;
     animation-name: animation0;
     -webkit-animation-duration: 2s;
     -webkit-animation-iteration-count: 5;
     -webkit-animation-name: animation0;
     background-color: #63d;
   }
   @keyframes animation0 {
     0%   { background-color: #63d; }
     50%  { background-color: #a9e; }
     100% { background-color: #63d; }
   }
   @-webkit-keyframes animation0 {
     0%   { background-color: #63d; }
     50%  { background-color: #a9e; }
     100% { background-color: #63d; }
   }
   .block1highlight {
     animation-duration: 2s;
     animation-iteration-count: 5;
     animation-name: animation1;
     -webkit-animation-duration: 2s;
     -webkit-animation-iteration-count: 5;
     -webkit-animation-name: animation1;
     background-color: #f72;
   }
   @keyframes animation1 {
     0%   { background-color: #f72; }
     50%  { background-color: #fb8; }
     100% { background-color: #f72; }
   }
   @-webkit-keyframes animation1 {
     0%   { background-color: #f72; }
     50%  { background-color: #fb8; }
     100% { background-color: #f72; }
   }
   .unselected {
     -webkit-transform: scale(0.5, 0.5);
     transform: scale(0.5, 0.5);
   }
   .piece {
     -webkit-transition: -webkit-transform 0.1s linear, left 0.1s linear, top 0.1s linear;
     transition: transform 0.1s linear, left 0.1s linear, top 0.1s linear;
     -webkit-transform-origin: 10px 10px;
     transform-origin: 10px 10px;
   }
   .rotate-left {
     -webkit-transition: initial;
     -webkit-transform: rotate(90deg);
     transform: rotate(90deg);
   }
   .rotate-right {
     -webkit-transition: initial;
     -webkit-transform: rotate(-90deg);
     transform: rotate(-90deg);
   }
   .rotate-flip {
     -webkit-transition: initial;
     -webkit-transform: rotateY(180deg);
     transform: rotateY(180deg);
   }
   .dragging {
     -webkit-transition: -webkit-transform 0.1s linear;
   }
   #message {
     position: absolute;
     left: 20px;
     top: 315px;
     width: 270px;
     padding: 5px;
     text-align: center;
     font-weight: bold;
     background-color: #bdf;
     visibility: hidden;
   }
   #start-game {
     position: absolute;
     left: 20px;
     top: 360px;
     width: 280px;
     text-align: center;
   }
   .start-button {
     padding: 5px 10px 5px 10px;
     margin: 10px;
     font-size: large;
   }

   /* Font Awesome by <NAME> - http://fontawesome.io */
   @font-face {
     font-family: FontAwesome;
     src: url('http://netdna.bootstrapcdn.com/font-awesome/4.1.0/fonts/fontawesome-webfont.woff?v=4.1.0');
   }
   #handler {
     position: absolute;
     left: 270px;
     top: 0px;
     width: 50px;
     height: 10px;
     background-color: #ccc;
   }
   #handlerDownIcon {
     width: 5px;
     height: 5px;
     margin-left: 21px;
     border: solid #333;
     border-width: 2px 2px 0 0;
     -webkit-transform: rotate(135deg);
     transform: rotate(135deg);
   }
   #toolbar {
     position: absolute;
     top: 0;
     left: 0;
     width: 320px;
     height: 40px;
     z-index: 100;
     background: rgba(0,0,0, 0.85);
     -webkit-transition: top 0.4s ease;
     transition: top 0.4s ease;
   }
   #toolbar.closed {
     top: -40px;
   }
   #toolbar ul {
     float: left;
     list-style: none;
     padding: 0;
     margin: 0;
   }
   #toolbar ul:last-child {
     float: right;
   }
   #toolbar li {
     float: left;
   }
   #toolbar button {<commit_msg>Fix Firefox dragging<commit_after><!DOCTYPE html>
<html>
<head>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
 <meta name="viewport" content="width=320">
 <meta name="description" content="Blokus Duo is a board game for two players. You can play against the computer in three levels of difficulty.">
 <meta name="mobile-web-app-capable" content="yes">

 <link rel="apple-touch-icon" href="icon/blokus-120x120.png" type="image/png">
 <link rel="icon" href="icon/blokus-120x120.png" type="image/png">

 <script type="text/javascript" src="piece.js"></script>
 <script type="text/javascript" src="board.js"></script>
 <script type="text/javascript" src="backend.js"></script>
 <script type="text/javascript" src="blokus_m.js"></script>
 <script type="text/javascript" src="navigation.js"></script>
 <style type="text/css">
   body {
     background-color: #ffe;
     font-family: sans-serif;
   }
   #board {
     position: absolute;
     background-color: #ccc;
     border: solid black;
     border-width: 1px;
     left: 19px;
     top: 19px;
     width: 280px;
     height: 280px;
   }
   #piece-area {
     position: absolute;
     left: 20px;
     top: 360px;
     width: 260px;
     height: 100px;
     padding: 10px;
     border-radius: 5px;
     background-color: #eee;
   }
   .vgrid {
     position: absolute;
     top: 0px;
     width: 1px;
     height: 280px;
     border: solid #eee;
     border-width: 0px 0px 0px 1px;
   }
   .hgrid {
     position: absolute;
     left: 0px;
     width: 280px;
     height: 1px;
     border: solid #eee;
     border-width: 1px 0px 0px 0px;
   }
   .marker {
     position: absolute;
     width: 17px;
     height: 17px;
     border-radius: 17px;
   }
   .block0 {
     background-color: #63d;
   }
   .block1 {
     background-color: #f72;
   }
   .block0highlight {
     animation-duration: 2s;
     animation-iteration-count: 5;
     animation-name: animation0;
     -webkit-animation-duration: 2s;
     -webkit-animation-iteration-count: 5;
     -webkit-animation-name: animation0;
     background-color: #63d;
   }
   @keyframes animation0 {
     0%   { background-color: #63d; }
     50%  { background-color: #a9e; }
     100% { background-color: #63d; }
   }
   @-webkit-keyframes animation0 {
     0%   { background-color: #63d; }
     50%  { background-color: #a9e; }
     100% { background-color: #63d; }
   }
   .block1highlight {
     animation-duration: 2s;
     animation-iteration-count: 5;
     animation-name: animation1;
     -webkit-animation-duration: 2s;
     -webkit-animation-iteration-count: 5;
     -webkit-animation-name: animation1;
     background-color: #f72;
   }
   @keyframes animation1 {
     0%   { background-color: #f72; }
     50%  { background-color: #fb8; }
     100% { background-color: #f72; }
   }
   @-webkit-keyframes animation1 {
     0%   { background-color: #f72; }
     50%  { background-color: #fb8; }
     100% { background-color: #f72; }
   }
   .unselected {
     -webkit-transform: scale(0.5, 0.5);
     transform: scale(0.5, 0.5);
   }
   .piece {
     -webkit-transition-property: -webkit-transform, left, top;
     transition-property: transform, left, top;
     transition-duration: 0.1s;
     transition-timing-function: linear;
     -webkit-transform-origin: 10px 10px;
     transform-origin: 10px 10px;
   }
   .rotate-left {
     -webkit-transition-property: none;
     transition-property: none;
     -webkit-transform: rotate(90deg);
     transform: rotate(90deg);
   }
   .rotate-right {
     -webkit-transition-property: none;
     transition-property: none;
     -webkit-transform: rotate(-90deg);
     transform: rotate(-90deg);
   }
   .rotate-flip {
     -webkit-transition-property: none;
     transition-property: none;
     -webkit-transform: rotateY(180deg);
     transform: rotateY(180deg);
   }
   .dragging {
     -webkit-transition-property: -webkit-transform;
     transition-property: transform;
   }
   #message {
     position: absolute;
     left: 20px;
     top: 315px;
     width: 270px;
     padding: 5px;
     text-align: center;
     font-weight: bold;
     background-color: #bdf;
     visibility: hidden;
   }
   #start-game {
     position: absolute;
     left: 20px;
     top: 360px;
     width: 280px;
     text-align: center;
   }
   .start-button {
     padding: 5px 10px 5px 10px;
     margin: 10px;
     font-size: large;
   }

   /* Font Awesome by <NAME> - http://fontawesome.io */
   @font-face {
     font-family: FontAwesome;
     src: url('http://netdna.bootstrapcdn.com/font-awesome/4.1.0/fonts/fontawesome-webfont.woff?v=4.1.0');
   }
   #handler {
     position: absolute;
     left: 270px;
     top: 0px;
     width: 50px;
     height: 10px;
     background-color: #ccc;
   }
   #handlerDownIcon {
     width: 5px;
     height: 5px;
     margin-left: 21px;
     border: solid #333;
     border-width: 2px 2px 0 0;
     -webkit-transform: rotate(135deg);
     transform: rotate(135deg);
   }
   #toolbar {
     position: absolute;
     top: 0;
     left: 0;
     width: 320px;
     height: 40px;
     z-index: 100;
     background: rgba(0,0,0, 0.85);
     transition: top 0.4s ease;
   }
   #toolbar.closed {
     top: -40px;
   }
   #toolbar ul {
     float: left;
     list-style: none;
     padding: 0;
     margin: 0;
   }
   #toolbar ul:last-child {
     float: right;
   }
   #toolbar li {
     float: left;
   }
   #toolbar button {
{'fraction_non_alphanumeric': 0.1421623643845866, 'fraction_numerical': 0.04751215862326973, 'mean_word_length': 2.429441949967928, 'pattern_counts': {'":': 0, '<': 45, '<?xml version=': 0, '>': 45, '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': '4387688', 'n_tokens_mistral': 4182, 'n_tokens_neox': 3729, 'n_words': 822}