All the sources codespage 64

sql = sql.replace("'None'", 'null')

ul.sf-menu li li, li li li, li li li li, li li li li li, li li li li li li { width: 120px; } /* OH GOD WHY */

function _CLK_TCK() {
   // FIXME: this is clearly not always right.
   // But how to figure out the right value?
   return 100.0;
}