Annotation of loncom/html/adm/jsMath/jsMath-fallback-mac-msie.js, revision 1.1

1.1     ! albertel    1: /*
        !             2:  *  jsMath-fallback-mac-msie.js
        !             3:  *  
        !             4:  *  Part of the jsMath package for mathematics on the web.
        !             5:  *
        !             6:  *  This file makes changes needed by Internet Explorer on the Mac
        !             7:  *  for when the TeX fonts are not available.
        !             8:  *
        !             9:  *  ---------------------------------------------------------------------
        !            10:  *
        !            11:  *  jsMath is free software; you can redistribute it and/or modify
        !            12:  *  it under the terms of the GNU General Public License as published by
        !            13:  *  the Free Software Foundation; either version 2 of the License, or
        !            14:  *  (at your option) any later version.
        !            15:  *
        !            16:  *  jsMath is distributed in the hope that it will be useful,
        !            17:  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
        !            18:  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
        !            19:  *  GNU General Public License for more details.
        !            20:  *
        !            21:  *  You should have received a copy of the GNU General Public License
        !            22:  *  along with jsMath; if not, write to the Free Software
        !            23:  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
        !            24:  */
        !            25: 
        !            26: 
        !            27: 
        !            28: /********************************************************************
        !            29:  *
        !            30:  *  Fix the default non-TeX-font characters to work with MSIE
        !            31:  *
        !            32:  */
        !            33: 
        !            34: jsMath.UpdateTeXfonts({
        !            35:   cmr10: {
        !            36:     '0':  {c: 'G', tclass: 'greek'},
        !            37:     '1':  {c: 'D', tclass: 'greek'},
        !            38:     '2':  {c: 'Q', tclass: 'greek'},
        !            39:     '3':  {c: 'L', tclass: 'greek'},
        !            40:     '4':  {c: 'X', tclass: 'greek'},
        !            41:     '5':  {c: 'P', tclass: 'greek'},
        !            42:     '6':  {c: 'S', tclass: 'greek'},
        !            43:     '7':  {c: '¡', tclass: 'greek'},
        !            44:     '8':  {c: 'F', tclass: 'greek'},
        !            45:     '9':  {c: 'Y', tclass: 'greek'},
        !            46:     '10': {c: 'W', tclass: 'greek'},
        !            47:     '22': {c: '<SPAN STYLE="position:relative; top:.1em">&#96;</SPAN>', tclass: 'symbol3'}
        !            48:   },
        !            49:   
        !            50:   cmti10: {
        !            51:     '0':  {c: '<I>G</I>', tclass: 'greek'},
        !            52:     '1':  {c: '<I>D</I>', tclass: 'greek'},
        !            53:     '2':  {c: '<I>Q</I>', tclass: 'greek'},
        !            54:     '3':  {c: '<I>L</I>', tclass: 'greek'},
        !            55:     '4':  {c: '<I>X</I>', tclass: 'greek'},
        !            56:     '5':  {c: '<I>P</I>', tclass: 'greek'},
        !            57:     '6':  {c: '<I>S</I>', tclass: 'greek'},
        !            58:     '7':  {c: '<I>&#161;</I>', tclass: 'greek'},
        !            59:     '8':  {c: '<I>F</I>', tclass: 'greek'},
        !            60:     '9':  {c: '<I>Y</I>', tclass: 'greek'},
        !            61:     '10': {c: '<I>W</I>', tclass: 'greek'},
        !            62:     '22': {c: '<SPAN STYLE="position:relative; top:.1em">&#96;</SPAN>', tclass: 'symbol3'}
        !            63:   },
        !            64:   
        !            65:   cmbx10: {
        !            66:     '0':  {c: '<B>G</B>', tclass: 'greek'},
        !            67:     '1':  {c: '<B>D</B>', tclass: 'greek'},
        !            68:     '2':  {c: '<B>Q</B>', tclass: 'greek'},
        !            69:     '3':  {c: '<B>L</B>', tclass: 'greek'},
        !            70:     '4':  {c: '<B>X</B>', tclass: 'greek'},
        !            71:     '5':  {c: '<B>P</B>', tclass: 'greek'},
        !            72:     '6':  {c: '<B>S</B>', tclass: 'greek'},
        !            73:     '7':  {c: '<B>&#161;</B>', tclass: 'greek'},
        !            74:     '8':  {c: '<B>F</B>', tclass: 'greek'},
        !            75:     '9':  {c: '<B>Y</B>', tclass: 'greek'},
        !            76:     '10': {c: '<B>W</B>', tclass: 'greek'},
        !            77:     '22': {c: '<SPAN STYLE="position:relative; top:.1em">&#96;</SPAN>', tclass: 'symbol3'}
        !            78:   },
        !            79:   cmmi10: {
        !            80:     '0':  {c: '<I>G</I>', tclass: 'greek'},
        !            81:     '1':  {c: '<I>D</I>', tclass: 'greek'},
        !            82:     '2':  {c: '<I>Q</I>', tclass: 'greek'},
        !            83:     '3':  {c: '<I>L</I>', tclass: 'greek'},
        !            84:     '4':  {c: '<I>X</I>', tclass: 'greek'},
        !            85:     '5':  {c: '<I>P</I>', tclass: 'greek'},
        !            86:     '6':  {c: '<I>S</I>', tclass: 'greek'},
        !            87:     '7':  {c: '<I>&#161;</I>', tclass: 'greek'},
        !            88:     '8':  {c: '<I>F</I>', tclass: 'greek'},
        !            89:     '9':  {c: '<I>Y</I>', tclass: 'greek'},
        !            90:     '10': {c: '<I>W</I>', tclass: 'greek'},
        !            91:     '11': {c: 'a', tclass: 'greek'},
        !            92:     '12': {c: 'b', tclass: 'greek'},
        !            93:     '13': {c: 'g', tclass: 'greek'},
        !            94:     '14': {c: 'd', tclass: 'greek'},
        !            95:     '15': {c: 'e', tclass: 'greek'},
        !            96:     '16': {c: 'z', tclass: 'greek'},
        !            97:     '17': {c: 'h', tclass: 'greek'},
        !            98:     '18': {c: 'q', tclass: 'greek'},
        !            99:     '19': {c: 'i', tclass: 'greek'},
        !           100:     '20': {c: 'k', tclass: 'greek'},
        !           101:     '21': {c: 'l', tclass: 'greek'},
        !           102:     '22': {c: 'm', tclass: 'greek'},
        !           103:     '23': {c: 'n', tclass: 'greek'},
        !           104:     '24': {c: 'x', tclass: 'greek'},
        !           105:     '25': {c: 'p', tclass: 'greek'},
        !           106:     '26': {c: 'r', tclass: 'greek'},
        !           107:     '27': {c: 's', tclass: 'greek'},
        !           108:     '28': {c: 't', tclass: 'greek'},
        !           109:     '29': {c: 'u', tclass: 'greek'},
        !           110:     '30': {c: 'f', tclass: 'greek'},
        !           111:     '31': {c: 'c', tclass: 'greek'},
        !           112:     '32': {c: 'y', tclass: 'greek'},
        !           113:     '33': {c: 'w', tclass: 'greek'},
        !           114: //  '41':  // leftharpoondown
        !           115: //  '43':  // rightharpoondown   
        !           116: //  '44':  // hook left
        !           117: //  '45':  // hook right 
        !           118: //  '92':  // natural
        !           119:     '94': {c: '<SPAN STYLE="position:relative; top:.3em">&#xFE36;</SPAN>'},
        !           120:     '95': {c: '<SPAN STYLE="position:relative; top:-.2em">&#xFE35;</SPAN>'}
        !           121: //  '127': // half-circle down accent?
        !           122:   },
        !           123: 
        !           124:   cmsy10: {
        !           125:     '0':  {c: '&ndash;', tclass: 'normal'},
        !           126:     '11': {c: '<SPAN STYLE="font-size: 70%">&#x25EF;</SPAN><SPAN STYLE="position:relative; margin-left:-.5em; top:.1em; margin-right:.3em">/</SPAN>', tclass: 'normal'},
        !           127:     '16': {c: '<SPAN STYLE="position:relative;top:-.1em; font-size: 67%">&#xFE35;</SPAN><SPAN STYLE="position:relative;top:.1em;font-size:67%;margin-left:-1em">&#xFE36;</SPAN>', tclass: 'normal'},
        !           128:     '48': {c: '<SPAN STYLE="font-size: 133%; margin-left:-.1em; margin-right: -.6em; position: relative; top:.4em">&#x2032;</SPAN>'},
        !           129:     '93': {c: '&#x222A;<SPAN STYLE="font-size: 50%; margin-left:-1.3em; position: relative; top:-.3em; margin-right:.6em">+</SPAN>'},
        !           130:     '96': {c: '<SPAN STYLE="font-size:67%; position:relative; top:-.3em;">|</SPAN><SPAN STYLE="position:relative; top:-.15em; margin-left:-.1em">&ndash;</SPAN>', tclass: 'normal'},
        !           131:     '104': {c: '<SPAN STYLE="position:relative; top:.2em; margin-left:-.6em">&#x3008;</SPAN>'},
        !           132:     '105': {c: '<SPAN STYLE="position:relative; top:.2em; margin-right:-.6em">&#x3009;</SPAN>'},
        !           133:     '109': {c: '&#x21D1;<SPAN STYLE="position:relative; top:.1em; margin-left:-1em">&#x21D3;</SPAN>'},
        !           134:     '110': {c: '\\', d:0, tclass: 'normal'}
        !           135: //  '111': // wr
        !           136: //, '113': // amalg
        !           137: //  '116': // sqcup
        !           138: //  '117': // sqcap
        !           139: //  '118': // sqsubseteq
        !           140: //  '119': // sqsupseteq
        !           141:   },
        !           142: 
        !           143:   cmex10: {
        !           144:     '10': {c: '<SPAN STYLE="position:relative; top:.1em; margin-left:-.6em">&#x3008;</SPAN>'},
        !           145:     '11': {c: '<SPAN STYLE="position:relative; top:.1em; margin-right:-.6em">&#x3009;</SPAN>'},
        !           146:     '14': {c: '/'}, '15': {c: '\\'},
        !           147:     '28': {c: '<SPAN STYLE="position:relative; top:.05em; margin-left:-.6em">&#x3008;</SPAN>'},
        !           148:     '29': {c: '<SPAN STYLE="position:relative; top:.05em; margin-right:-.6em">&#x3009;</SPAN>'},
        !           149:     '30': {c: '/'}, '31': {c: '\\'},
        !           150:     '42': {c: '<SPAN STYLE="margin-left:-.6em">&#x3008;</SPAN>'},
        !           151:     '43': {c: '<SPAN STYLE="margin-right:-.6em">&#x3009;</SPAN>'},
        !           152:     '44': {c: '/'}, '45': {c: '\\'},
        !           153:     '46': {c: '/'}, '47': {c: '\\'},
        !           154:     '68': {c: '<SPAN STYLE="margin-left:-.6em">&#x3008;</SPAN>'},
        !           155:     '69': {c: '<SPAN STYLE="margin-right:-.6em">&#x3009;</SPAN>'},
        !           156: //  '70':  // sqcup
        !           157: //  '71':  // big sqcup
        !           158:     '72': {ic: 0},  '73': {ic: 0},
        !           159:     '82': {tclass: 'bigop1cx', ic: .15}, '90': {tclass: 'bigop2cx', ic:.6},
        !           160:     '85': {c: '&#x222A;<SPAN STYLE="font-size: 50%; margin-left:-1.25em; position: relative; top:-.3em; margin-right:.6em">+</SPAN>'},
        !           161:     '93': {c: '&#x222A;<SPAN STYLE="font-size: 50%; margin-left:-1.25em; position: relative; top:-.3em; margin-right:.6em">+</SPAN>'},
        !           162: //  '96': // coprod
        !           163: //  '97': // big coprod
        !           164:     '98': {c: '&#xFE3F;', h: 0.722, w: .58, tclass: 'wide1'},
        !           165:     '99': {c: '&#xFE3F;', h: 0.722, w: .58, tclass: 'wide2'},
        !           166:     '100': {c: '&#xFE3F;', h: 0.722, w: .58, tclass: 'wide3'},
        !           167:     '101': {c: '~', h: 0.722, w: .42, tclass: 'wide1a'},
        !           168:     '102': {c: '~', h: 0.8, w: .73, tclass: 'wide2a'},
        !           169:     '103': {c: '~', h: 0.8, w: 1.1, tclass: 'wide3a'}
        !           170:   }
        !           171: 
        !           172: });
        !           173: 
        !           174: jsMath.UpdateStyles({
        !           175:   '.arrow1':  'font-family: Osaka; position: relative; top: .125em; margin: -1px',
        !           176:   '.arrow2':  'font-family: Osaka; position: relative; top: .1em; margin:-1px',
        !           177:   '.bigop1':  'font-family: Symbol; font-size: 110%; position:relative; top: .8em; margin:-.05em',
        !           178:   '.bigop1b': 'font-family: Symbol; font-size: 140%; position: relative; top: .8em; margin:-.1em',
        !           179:   '.bigop1c': 'font-family: Osaka; font-size: 125%; position:relative; top: .85em; margin:-.3em',
        !           180:   '.bigop1cx':'font-family: Apple Chancery; font-size: 125%; position:relative; top: .7em; margin:-.1em',
        !           181:   '.bigop2':  'font-family: Symbol; font-size: 175%; position:relative; top: .8em; margin:-.07em',
        !           182:   '.bigop2a': 'font-family: Baskerville; font-size: 175%; position: relative; top: .65em',
        !           183:   '.bigop2b': 'font-family: Symbol; font-size: 175%; position: relative; top: .8em; margin:-.07em',
        !           184:   '.bigop2c': 'font-family: Osaka; font-size: 230%; position:relative; top: .85em; margin:-.35em',
        !           185:   '.bigop2cx':'font-family: Apple Chancery; font-size: 250%; position:relative; top: .6em; margin-left:-.1em; margin-right:-.2em',
        !           186:   '.delim1b': 'font-family: Times; font-size: 150%; position:relative; top:.8em',
        !           187:   '.delim2b': 'font-family: Times; font-size: 210%; position:relative; top:.75em;',
        !           188:   '.delim3b': 'font-family: Times; font-size: 300%; position:relative; top:.7em;',
        !           189:   '.delim4b': 'font-family: Times; font-size: 400%; position:relative; top:.65em;',
        !           190:   '.symbol3': 'font-family: Symbol',
        !           191:   '.wide1':   'font-size: 50%; position: relative; top:-1.1em',
        !           192:   '.wide2':   'font-size: 80%; position: relative; top:-.7em',
        !           193:   '.wide3':   'font-size: 125%; position: relative; top:-.5em',
        !           194:   '.wide1a':  'font-size: 75%; position: relative; top:-.5em',
        !           195:   '.wide2a':  'font-size: 133%; position: relative; top: -.15em',
        !           196:   '.wide3a':  'font-size: 200%; position: relative; top: -.05em',
        !           197:   '.greek':   'font-family: Symbol'
        !           198: });
        !           199: 
        !           200: jsMath.InitStyles();
        !           201: 

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