Page history
November 4, 2014
works.
−114
no edit summary
+5
no edit summary
+5
no edit summary
+33
no edit summary
+9
no edit summary
+167
no edit summary
+84
no edit summary
m+7
no edit summary
+411
January 2, 2013
Blanked the page
−927
no edit summary
+161
no edit summary
m+27
no edit summary
m−30
no edit summary
m+4
no edit summary
−2,169
no edit summary
−198
no edit summary
+2,220
no edit summary
m+27
no edit summary
m−7
no edit summary
−2,356
no edit summary
+205
no edit summary
+2,159
no edit summary
+199
no edit summary
+685
published
−3,177
January 1, 2013
no edit summary
m−76
no edit summary
m−32
no edit summary
m+32
no edit summary
m+8
no edit summary
+76
no edit summary
+3,169
October 6, 2012
moved to Common.js
−186
woo it works!
−51
no edit summary
+7
no edit summary
+50
no edit summary
−59
no edit summary
+14
no edit summary
+81
no edit summary
−77
no edit summary
+17
no edit summary
+27
no edit summary
+18
no edit summary
+109
no edit summary
+21
no edit summary
−103
no edit summary
m−28
Created page with "var uls = getElementById('toc').getElementsByTagName('ul').getElementsByTagName('ul');; for(var i=0, len=uls.length; i<len; ++i) { alert(uls[i].clientWidth); }"
+160