Rev 8490 | Rev 11233 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8490 | Rev 8491 | ||
---|---|---|---|
Line 2... | Line 2... | ||
2 | !set disable_zoom=yes |
2 | !set disable_zoom=yes |
3 | !set dynapi_agent=!lowercase $httpd_HTTP_USER_AGENT |
3 | !set dynapi_agent=!lowercase $httpd_HTTP_USER_AGENT |
4 | 4 | ||
5 | !if chrome isin $dynapi_agent or trident isin $dynapi_agent or android isin $dynapi_agent |
5 | !if chrome isin $dynapi_agent or trident isin $dynapi_agent or android isin $dynapi_agent |
6 | !set disable_mathml=1 |
6 | !set disable_mathml=1 |
7 | !reset dynapi_size_hack |
- | |
8 | !else |
- | |
9 | !set dynapi_size_hack=\size[80] |
- | |
10 | !endif |
7 | !endif |
- | 8 | !set wims_texbasesize=5 |
|
11 | 9 | ||
12 | !if $wims_dynapi=loaded |
10 | !if $wims_dynapi=loaded |
13 | !exit |
11 | !exit |
14 | !endif |
12 | !endif |
15 | !set wims_dynapi=loaded |
13 | !set wims_dynapi=loaded |