Diff for /loncom/html/adm/jsMath/jsMath-fallback-mac-mozilla.js between versions 1.2 and 1.3

version 1.2, 2005/12/07 18:57:44 version 1.3, 2006/03/27 19:32:07
Line 1 Line 1
 /*  /*
  *  jsMath-fallback-mac-mozzilla.js   *  jsMath-fallback-mac-mozilla.js
  *     *  
  *  Part of the jsMath package for mathematics on the web.   *  Part of the jsMath package for mathematics on the web.
  *   *
Line 8 Line 8
  *   *
  *  ---------------------------------------------------------------------   *  ---------------------------------------------------------------------
  *   *
  *  jsMath is free software; you can redistribute it and/or modify   *  Copyright 2004-2006 by Davide P. Cervone
  *  it under the terms of the GNU General Public License as published by   * 
  *  the Free Software Foundation; either version 2 of the License, or   *  Licensed under the Apache License, Version 2.0 (the "License");
  *  (at your option) any later version.   *  you may not use this file except in compliance with the License.
  *   *  You may obtain a copy of the License at
  *  jsMath is distributed in the hope that it will be useful,   * 
  *  but WITHOUT ANY WARRANTY; without even the implied warranty of   *      http://www.apache.org/licenses/LICENSE-2.0
  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the   * 
  *  GNU General Public License for more details.   *  Unless required by applicable law or agreed to in writing, software
  *   *  distributed under the License is distributed on an "AS IS" BASIS,
  *  You should have received a copy of the GNU General Public License   *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  *  along with jsMath; if not, write to the Free Software   *  See the License for the specific language governing permissions and
  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA   *  limitations under the License.
  */   */
   
   
Line 31 Line 31
  *   *
  */   */
   
   jsMath.Script.Start();
   
 jsMath.Update.TeXfonts({  jsMath.Update.TeXfonts({
   cmmi10: {    cmmi10: {
 //  '41':  // leftharpoondown  //  '41':  // leftharpoondown
 //  '43':  // rightharpoondown      //  '43':  // rightharpoondown    
     '44': {c: '<SPAN STYLE="position:relative; top:.15em; margin-right:-.1em; margin-left:-.2em">&#x02D3;</SPAN>'},      '44': {c: '<span style="position:relative; top:.15em; margin-right:-.1em; margin-left:-.2em">&#x02D3;</span>'},
     '45': {c: '<SPAN STYLE="position:relative; top:.15em; margin-right:-.1em; margin-left:-.2em">&#x02D2;</SPAN>'},      '45': {c: '<span style="position:relative; top:.15em; margin-right:-.1em; margin-left:-.2em">&#x02D2;</span>'},
     '47': {c: '<SPAN STYLE="font-size:60%">&#x25C1;</SPAN>'},      '47': {c: '<span style="font-size:60%">&#x25C1;</span>'},
 //  '92':  // natural  //  '92':  // natural
     '126': {c: '<SPAN STYLE="position:relative; left: .3em; top: -.7em; font-size: 50%">&#x2192;</SPAN>'}      '126': {c: '<span style="position:relative; left: .3em; top: -.7em; font-size: 50%">&#x2192;</span>'}
   },    },
   
   cmsy10: {    cmsy10: {
     '0':  {c: '&ndash;', tclass: 'normal'},      '0':  {c: '&ndash;', tclass: 'normal'},
     '11': {c: '<SPAN STYLE="font-size: 70%">&#x25EF;</SPAN><SPAN STYLE="position:relative; margin-left:-.5em; top:.1em; margin-right:.3em">/</SPAN>', tclass: 'normal'},      '11': {c: '<span style="font-size: 70%">&#x25EF;</span><span style="position:relative; margin-left:-.5em; top:.1em; margin-right:.3em">/</span>', tclass: 'normal'},
     '42': {c: '&#x2963;'}, '43': {c: '&#x2965'},      '42': {c: '&#x2963;'}, '43': {c: '&#x2965'},
     '48': {c: '<SPAN STYLE="font-size: 133%; margin-right: -.75em; position: relative; top:.4em">&#x2032;</SPAN>', tclass: 'normal'},      '48': {c: '<span style="font-size: 133%; margin-right: -.75em; position: relative; top:.4em">&#x2032;</span>', tclass: 'normal'},
     '93': {c: '&#x222A;<SPAN STYLE="font-size: 50%; margin-left:-1.3em; position: relative; top:-.3em; margin-right:.6em">+</SPAN>'},      '93': {c: '&#x222A;<span style="font-size: 50%; margin-left:-1.3em; position: relative; top:-.3em; margin-right:.6em">+</span>'},
     '104': {c: '<SPAN STYLE="position:relative; top:.15em; margin-left:-.6em">&#x3008;</SPAN>'},      '104': {c: '<span style="position:relative; top:.15em; margin-left:-.6em">&#x3008;</span>'},
     '105': {c: '<SPAN STYLE="position:relative; top:.15em; margin-right:-.6em">&#x3009;</SPAN>'},      '105': {c: '<span style="position:relative; top:.15em; margin-right:-.6em">&#x3009;</span>'},
     '109': {c: '&#x2963;<SPAN STYLE="position:relative; top:.1em; margin-left:-1em">&#x2965;</SPAN>'}      '109': {c: '&#x2963;<span style="position:relative; top:.1em; margin-left:-1em">&#x2965;</span>'}
 //, '116':  // sqcup  //, '116':  // sqcup
 //  '117':  // sqcap  //  '117':  // sqcap
 //  '118':  // sqsubseteq  //  '118':  // sqsubseteq
Line 58  jsMath.Update.TeXfonts({ Line 60  jsMath.Update.TeXfonts({
   },    },
       
   cmex10: {    cmex10: {
     '10': {c: '<SPAN STYLE="position:relative; top:.1em; margin-left:-.6em">&#x3008;</SPAN>'},      '10': {c: '<span style="position:relative; top:.1em; margin-left:-.6em">&#x3008;</span>'},
     '11': {c: '<SPAN STYLE="position:relative; top:.1em; margin-right:-.6em">&#x3009;</SPAN>'},      '11': {c: '<span style="position:relative; top:.1em; margin-right:-.6em">&#x3009;</span>'},
     '14': {c: '/'}, '15': {c: '\\'},      '14': {c: '/'}, '15': {c: '\\'},
     '28': {c: '<SPAN STYLE="position:relative; top:.1em; margin-left:-.6em">&#x3008;</SPAN>'},      '28': {c: '<span style="position:relative; top:.1em; margin-left:-.6em">&#x3008;</span>'},
     '29': {c: '<SPAN STYLE="position:relative; top:.1em; margin-right:-.6em">&#x3009;</SPAN>'},      '29': {c: '<span style="position:relative; top:.1em; margin-right:-.6em">&#x3009;</span>'},
     '30': {c: '/'}, '31': {c: '\\'},      '30': {c: '/'}, '31': {c: '\\'},
     '42': {c: '<SPAN STYLE="position:relative; top:.1em; margin-left:-.6em">&#x3008;</SPAN>'},      '42': {c: '<span style="position:relative; top:.1em; margin-left:-.6em">&#x3008;</span>'},
     '43': {c: '<SPAN STYLE="position:relative; top:.1em; margin-right:-.6em">&#x3009;</SPAN>'},      '43': {c: '<span style="position:relative; top:.1em; margin-right:-.6em">&#x3009;</span>'},
     '44': {c: '/'}, '45': {c: '\\'},      '44': {c: '/'}, '45': {c: '\\'},
     '46': {c: '/'}, '47': {c: '\\'},      '46': {c: '/'}, '47': {c: '\\'},
     '68': {c: '<SPAN STYLE="position:relative; top:.1em; margin-left:-.6em">&#x3008;</SPAN>'},      '68': {c: '<span style="position:relative; top:.1em; margin-left:-.6em">&#x3008;</span>'},
     '69': {c: '<SPAN STYLE="position:relative; top:.1em; margin-right:-.6em">&#x3009;</SPAN>'},      '69': {c: '<span style="position:relative; top:.1em; margin-right:-.6em">&#x3009;</span>'},
 //  '70':  // sqcup  //  '70':  // sqcup
 //  '71':  // big sqcup  //  '71':  // big sqcup
     '72': {ic: .194},  '73': {ic: .444},      '72': {ic: .194},  '73': {ic: .444},
     '82': {tclass: 'bigop1cx', ic: .15}, '90': {tclass: 'bigop2cx', ic:.6},      '82': {tclass: 'bigop1cx', ic: .15}, '90': {tclass: 'bigop2cx', ic:.6},
     '85': {c: '&#x222A;<SPAN STYLE="font-size: 50%; margin-left:-1.3em; position: relative; top:-.3em; margin-right:.6em">+</SPAN>'},      '85': {c: '&#x222A;<span style="font-size: 50%; margin-left:-1.3em; position: relative; top:-.3em; margin-right:.6em">+</span>'},
     '93': {c: '&#x222A;<SPAN STYLE="font-size: 50%; margin-left:-1.3em; position: relative; top:-.3em; margin-right:.6em">+</SPAN>'}      '93': {c: '&#x222A;<span style="font-size: 50%; margin-left:-1.3em; position: relative; top:-.3em; margin-right:.6em">+</span>'}
   }    }
       
 });  });
   
 jsMath.Update.Styles({  jsMath.Setup.Styles({
   '.symbol':   "font-family: Osaka",    '.typeset .symbol':   "font-family: Osaka",
   '.arrow1':   "font-family: Osaka; position: relative; top: .125em; margin: -1px",    '.typeset .arrow1':   "font-family: Osaka; position: relative; top: .125em; margin: -1px",
   '.arrow2':   "font-family: AppleGothic; font-size: 100%; position:relative; top: .11em; margin:-1px",    '.typeset .arrow2':   "font-family: AppleGothic; font-size: 100%; position:relative; top: .11em; margin:-1px",
   '.bigop1':   "font-family: AppleGothic; font-size: 110%; position:relative; top: .9em; margin:-.05em",    '.typeset .bigop1':   "font-family: AppleGothic; font-size: 110%; position:relative; top: .9em; margin:-.05em",
   '.bigop1b':  "font-family: Osaka; font-size: 140%; position: relative; top: .8em; margin:-.1em",    '.typeset .bigop1b':  "font-family: Osaka; font-size: 140%; position: relative; top: .8em; margin:-.1em",
   '.bigop1c':  "font-family: AppleGothic; font-size: 125%; position:relative; top: .85em; margin:-.3em",    '.typeset .bigop1c':  "font-family: AppleGothic; font-size: 125%; position:relative; top: .85em; margin:-.3em",
   '.bigop1cx': "font-family: 'Apple Chancery'; font-size: 125%; position:relative; top: .7em; margin:-.1em",    '.typeset .bigop1cx': "font-family: 'Apple Chancery'; font-size: 125%; position:relative; top: .7em; margin:-.1em",
   '.bigop2':   "font-family: AppleGothic; font-size: 175%; position:relative; top: .85em; margin:-.1em",    '.typeset .bigop2':   "font-family: AppleGothic; font-size: 175%; position:relative; top: .85em; margin:-.1em",
   '.bigop2b':  "font-family: Osaka; font-size: 200%; position: relative; top: .75em; margin:-.15em",    '.typeset .bigop2b':  "font-family: Osaka; font-size: 200%; position: relative; top: .75em; margin:-.15em",
   '.bigop2c':  "font-family: AppleGothic; font-size: 300%; position:relative; top: .75em; margin:-.35em",    '.typeset .bigop2c':  "font-family: AppleGothic; font-size: 300%; position:relative; top: .75em; margin:-.35em",
   '.bigop2cx': "font-family: 'Apple Chancery'; font-size: 250%; position:relative; top: .7em; margin-left:-.1em; margin-right:-.2em",    '.typeset .bigop2cx': "font-family: 'Apple Chancery'; font-size: 250%; position:relative; top: .7em; margin-left:-.1em; margin-right:-.2em",
   '.delim1b':  "font-family: Times; font-size: 150%; position:relative; top:.8em; margin:.01em",    '.typeset .delim1b':  "font-family: Times; font-size: 150%; position:relative; top:.8em; margin:.01em",
   '.delim2b':  "font-family: Times; font-size: 210%; position:relative; top:.8em; margin:.01em",    '.typeset .delim2b':  "font-family: Times; font-size: 210%; position:relative; top:.8em; margin:.01em",
   '.delim3b':  "font-family: Times; font-size: 300%; position:relative; top:.75em; margin:.01em",    '.typeset .delim3b':  "font-family: Times; font-size: 300%; position:relative; top:.75em; margin:.01em",
   '.delim4b':  "font-family: Times; font-size: 400%; position:relative; top:.725em; margin:.01em",    '.typeset .delim4b':  "font-family: Times; font-size: 400%; position:relative; top:.725em; margin:.01em"
 });  });
   
   
Line 107  jsMath.Macro('not','\\mathrel{\\rlap{\\k Line 109  jsMath.Macro('not','\\mathrel{\\rlap{\\k
 jsMath.Macro('joinrel','\\mathrel{\\kern-3mu}');  jsMath.Macro('joinrel','\\mathrel{\\kern-3mu}');
   
   
 /*  jsMath.Script.End();
  *  Reinstall the styles  
  */  
   
 jsMath.Setup.Styles();  
   

Removed from v.1.2  
changed lines
  Added in v.1.3


FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>