Index: tools/dom/scripts/cssProperties.html |
diff --git a/tools/dom/scripts/cssProperties.html b/tools/dom/scripts/cssProperties.html |
new file mode 100644 |
index 0000000000000000000000000000000000000000..ea1c794eb071a59de90c5143f347ec73bdbcc4c6 |
--- /dev/null |
+++ b/tools/dom/scripts/cssProperties.html |
@@ -0,0 +1,21 @@ |
+<body> |
+<script> |
Alan Knight
2015/03/04 17:49:32
I assume you run this in a browser to get the brow
sra1
2015/03/25 05:23:35
Done.
|
+function emit(text) { |
+ var e = document.createElement('div'); |
+ e.innerHTML = text; |
+ document.body.appendChild(e); |
+} |
+emit('# ' + navigator.userAgent); |
+var s = document.body.style; |
+var a = []; |
+for (var p in s) { |
+ if (typeof s[p] != 'string') continue; |
+ a.push(p); |
+} |
+a.sort(); |
+emit('# ' + a.length + ' properties') |
+for (var i = 0; i < a.length; i++) { |
+ emit(a[i]); |
+} |
+</script> |
+</body> |