X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=jsMath%2FjsMath-old-browsers.js;fp=jsMath%2FjsMath-old-browsers.js;h=35dcf189a5ce2fe9cf1415daf0d84c9af6bdde9a;hb=f084723ab17e56d39e05a8a8da8d976e670dfd42;hp=0000000000000000000000000000000000000000;hpb=b3b3c1c988e48e53f295529431d640528bb17927;p=lambda.git diff --git a/jsMath/jsMath-old-browsers.js b/jsMath/jsMath-old-browsers.js new file mode 100644 index 00000000..35dcf189 --- /dev/null +++ b/jsMath/jsMath-old-browsers.js @@ -0,0 +1,58 @@ +/* + * jsMath-old-browsers.js + * + * Part of the jsMath package for mathematics on the web. + * + * This file makes changes needed by older versions of some browsers + * + * --------------------------------------------------------------------- + * + * Copyright 2004-2006 by Davide P. Cervone + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +jsMath.Add(jsMath.HTML,{ + /* + * Use the blank GIF image for spacing and rules + */ + Blank: function (w,h,d,isRule) { + var style = ''; + if (isRule) { + if (h*jsMath.em < 1.5) {h = '1px'} else {h = jsMath.HTML.Em(h)} + style = 'border-top:'+h+' solid;'; h = 0; + } + if (d == null) {d = 0} + style += 'width:'+this.Em(w)+'; height:'+this.Em(h+d)+';'; + if (d) {style += 'vertical-align:'+this.Em(-d)} + return ''; + } +}); + +if (jsMath.browser == 'Konqueror') { + + jsMath.Package(jsMath.Box,{Remeasured: function() {return this}}); + + jsMath.Add(jsMath.HTML,{ + Spacer: function (w) { + if (w == 0) {return ''}; + return '' + + ' '; + } + }); + + jsMath.Browser.spaceWidth = this.EmBoxFor('     ').w/5; + +} + +jsMath.styles['.typeset .spacer'] = '';