Also adapt fixed table header to vertical body scrolling

Thomas Bruederli

2014-01-29 4ae28ff09fc6896ad35f824b8f63baa4cc10956b

 program/js/common.js

@@ -65,6 +65,7 @@
    this.iphone = this.safari && (this.agent_lc.indexOf('iphone') > 0 || this.agent_lc.indexOf('ipod') > 0);
    this.ipad = this.safari && this.agent_lc.indexOf('ipad') > 0;
    this.opera = window.opera ? true : false;
    this.webkit = this.safari || this.chrome;
  }

  if (!this.vendver) {