Wie Formel-GIF größer machen?

07/10/2007 - 23:41 von Manfred Ullrich | Report spam
Für eine Html-Datei habe ich Formeln erzeugt, indem ich mit WORD
eine DOC-Datei erstellt habe und dort mit EINFÜGEN, OBJEKT,
MICROSOFT FORMEL-EDITOR 3.0 Formeln erstellt habe.
Danach mit ALS HTML SPEICHERN werden dann GIFs erstellt, die ich
in jener HTML-Datei einbinden kann.
Soweit alles gut. Nun wollte ich aber eine der Formeln durch Vergrößern
hervorheben und habe in der DOC-Datei mit FORMAT, OBJEKT, GRÖßE
diese auch schön vergrößert. Aber mit jenem ALS HTML SPEICHERN
war dann dieses erzeugte GIF nicht größer als zuvor.
Wohl könnte ich in der HTML-Datei das GIF größer darstellen,
aber dann ist es unschönerweise grob. Klar, die Pixel vom GIF sind
ja nicht mehr geworden.

Was also tun?

Dank und Gruß, Manfred
 

Lesen sie die antworten

#1 Werner Markus
08/10/2007 - 13:17 | Warnen spam
Hallo Manfred,

Du sprichst ein allgemeines Problem bei der Verwendung von Bildern in
html-Dokumenten an.

Wenn Du eine Lösung nur für Dich selbst suchst, dann kannst Du
beispielsweise im Firefox-Browser ein Add-in verwenden, das Image Zoom
heißt. Vielleicht gibt es das auch für andere Browser.

Wenn Du generell Formeln in html-Seiten verwenden willst, und die mit
der Schriftwahl vergrößert werden sollen, dann solltest Du die
Verwendung von MathML erwàgen, einer Ergànzung zu den html-Standards.
Wenn Du das professionell tun willst, denke mal über einen MathML-Editor
nach. Sowas findest Du beispielsweise bei DesignScience.

Gruß, Werner

Manfred Ullrich schrieb am 07.10.2007 23:41:
Für eine Html-Datei habe ich Formeln erzeugt, indem ich mit WORD
eine DOC-Datei erstellt habe und dort mit EINFÜGEN, OBJEKT,
MICROSOFT FORMEL-EDITOR 3.0 Formeln erstellt habe.
Danach mit ALS HTML SPEICHERN werden dann GIFs erstellt, die ich
in jener HTML-Datei einbinden kann.
Soweit alles gut. Nun wollte ich aber eine der Formeln durch Vergrößern
hervorheben und habe in der DOC-Datei mit FORMAT, OBJEKT, GRÖßE
diese auch schön vergrößert. Aber mit jenem ALS HTML SPEICHERN
war dann dieses erzeugte GIF nicht größer als zuvor.
Wohl könnte ich in der HTML-Datei das GIF größer darstellen,
aber dann ist es unschönerweise grob. Klar, die Pixel vom GIF sind
ja nicht mehr geworden.

Was also tun?

Dank und Gruß, Manfred

Ähnliche fragen