X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;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'] = '';