| 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..a2d8bc4ed422b92822826f479c4c82788c375c76
|
| --- /dev/null
|
| +++ b/tools/dom/scripts/cssProperties.html
|
| @@ -0,0 +1,25 @@
|
| +<!--
|
| +Run this file in a browser to get the CSSStyleDeclaration properties
|
| +available in that browser
|
| +-->
|
| +<body>
|
| +<script>
|
| +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>
|
|
|