<!--
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>