jsMath/jsMath-old-browsers.js

   1 /*
   2  *  jsMath-old-browsers.js
   3  *
   4  *  Part of the jsMath package for mathematics on the web.
   5  *
   6  *  This file makes changes needed by older versions of some browsers
   7  *
   8  *  ---------------------------------------------------------------------
   9  *
  10  *  Copyright 2004-2006 by Davide P. Cervone
  11  *
  12  *  Licensed under the Apache License, Version 2.0 (the "License");
  13  *  you may not use this file except in compliance with the License.
  14  *  You may obtain a copy of the License at
  15  *
  16  *      http://www.apache.org/licenses/LICENSE-2.0
  17  *
  18  *  Unless required by applicable law or agreed to in writing, software
  19  *  distributed under the License is distributed on an "AS IS" BASIS,
  20  *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  21  *  See the License for the specific language governing permissions and
  22  *  limitations under the License.
  23  */
  24
  25 jsMath.Add(jsMath.HTML,{
  26   /*
  27    *  Use the blank GIF image for spacing and rules
  28    */
  29   Blank: function (w,h,d,isRule) {
  30     var style = '';
  31     if (isRule) {
  32       if (h*jsMath.em < 1.5) {h = '1px'} else {h = jsMath.HTML.Em(h)}
  33       style = 'border-top:'+h+' solid;'; h = 0;
  34     }
  35     if (d == null) {d = 0}
  36     style += 'width:'+this.Em(w)+'; height:'+this.Em(h+d)+';';
  37     if (d) {style += 'vertical-align:'+this.Em(-d)}
  38     return '<img src="'+jsMath.blank+'" style="'+style+'" />';
  39   }
  40 });
  41
  42 if (jsMath.browser == 'Konqueror') {
  43
  44   jsMath.Package(jsMath.Box,{Remeasured: function() {return this}});
  45
  46   jsMath.Add(jsMath.HTML,{
  47     Spacer: function (w) {
  48       if (w == 0) {return ''};
  49       return '<span style="margin-left:'+this.Em(w-jsMath.Browser.spaceWidth)+'">'
  50              + '&nbsp;</span>';
  51     }
  52   });
  53
  54   jsMath.Browser.spaceWidth = this.EmBoxFor('&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;').w/5;
  55
  56 }
  57
  58 jsMath.styles['.typeset .spacer'] = '';