From 7191d1b1f880ced85da73e97e058a9453004eebc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?G=C3=BCnther=20Brammer?= <gbrammer@gmx.de>
Date: Wed, 29 Jun 2011 15:03:53 +0200
Subject: [PATCH] revert bitmasks.js removal

---
 docs/bitmasks.js | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 docs/bitmasks.js

diff --git a/docs/bitmasks.js b/docs/bitmasks.js
new file mode 100644
index 000000000..e2253ff77
--- /dev/null
+++ b/docs/bitmasks.js
@@ -0,0 +1,40 @@
+
+var cat;
+
+function CheckCharacters(text,allowed) {
+  for (var i = 0; i < text.length; ++i) {
+    if(allowed.indexOf(text.charAt(i))<0 ) {
+      return false;
+    }
+  }
+  return true;
+}
+
+function Calc() {
+  var input = document.getElementById("input").value*1;
+  if(CheckCharacters(input,"0123456789")) cat=input;
+
+  for(var i=0;i<BIT_COUNT;++i)
+    Mark(i);
+}
+
+function Mark(bit) {
+  if((1<<bit) & cat) {
+    if(!(bit%2))
+      document.getElementById(PREFIX+bit).className="mark";
+    else
+      document.getElementById(PREFIX+bit).className="darkmark";
+  }
+  else {
+    if(!(bit%2))
+      document.getElementById(PREFIX+bit).className="";
+    else
+      document.getElementById(PREFIX+bit).className="dark";
+  }
+}
+
+function Switch(bit) {
+  cat = cat ^ (1 << bit);
+  Mark(bit);
+  document.getElementById("input").value = cat;
+}
\ No newline at end of file