Réseau National de télécommunications

pour la Technologie l’Enseignement et la Recherche.

# Forum: developers

Monitor Forum | Start New Thread
| |

RE: useropts [ Reply ] By: joke evers on 2012-12-13 11:31 | [forum:14211] |

Yes, And maybe it's a good thing to rethink the fontsize adjustment for mathml Since the fontsize for mathml (unlike insmath with gifs) can be synchronised with the fontsize of the html-page |

RE: useropts [ Reply ] By: Bernadette Perrin-Riou on 2012-12-13 10:49 | [forum:14210] |

So if I want to use for another purpose I must add a forth number. which will be for some "theme preference" ? But it is perhaps very hacky. size is mathsize. Is it reasonable. 6100 will mean ordinary fonts (or 610 ..) , 6101 will add to the style css letter-spacing:0.3em; line-height:2.7em; word-spacing:0.8em; (for example). > Dear Bernadette, > > I'm not sure if I understand correctly, but this is what we changed in > useropts for mathml purposes > > useropts originally are defined in wims.c and is a 2 digit code > first digit is fontsize-step > second digit : 1 = tex with gifs ; 2=mathml > > We've added (mathml.c) an option for a third digit : > 1 means use javascript zoom for mathml > example: > 61 means latex font size step 6 , using images > 610 means latex font size step 6 , using images > 62 means latex font size step 6 , using mathml no zoom > 620 means latex font size step 6 , using mathml no zoom > 621 means latex font size step 6 , using mathml javascript zoom > > a module may disable zoom by setting a variable : > !set disable_zoom=yes > > kind regards, > joke > |

useropts [ Reply ] By: Bernadette Perrin-Riou on 2012-12-13 08:06 | [forum:14208] |

I would like to add a useropts which allows to choose some style css, explicitely, for dyslexics students . See for example http://www.pnas.org/content/109/28/11455 Joke, you have explained me how is used useropts when you used it for mathml but I do not find the message. Could you recall us ? Which number can be used ? It seems to me it will be the best way as it is really a useroption. Thanks Bernadette |