Anleitung für das HTML-Skript

Menü

Links oben befindet sich ein -Button, der das Skriptmenü öffnet. In der oberen Leiste des Menüs können Sie über die drei Symbole (von links nach rechts) mit den folgenden Funktionen:

Normalerweise sollte das Skript automatisch den Dark-/Light-Modus anhand Ihrer Browsereinstellungen erkennen und entsprechend wählen. Das Menü beinhaltet außerdem eine Kapitel- und Unterkapitelübersicht der aktuell geöffneten Seite. Per Klick auf eines der Kapitel/Unterkapitel gelangen Sie zu der jeweiligen Stelle im Skript.

Ein- und Ausblenden von Skriptelementen

Für die Nächste Funktionalität brauchen wir einen Beispielsatz + Beispiel:

Je mehr Käse, desto weniger Käse.

Beweis

Je mehr Käse, desto mehr Löcher.

Je mehr Löcher, desto weniger Käse.

Also: Je mehr Käse, desto weniger Käse.

Ein gutes Beispiel für löchrigen Käse ist der Emmentaler.

Beweise verstecken wir in der Regel in ausklappbaren Elementen, damit diese das Skript nicht unnötig aufblähen, man schnell durchscrollen kann und dabei die wichtigsten Informationen kompakt dargestellt hat. Durch Klicken auf die Beweise-Leiste im Satz wird der Beweis aufgeklappt.

Alle Beweise ausklappen

Für das Erzeugen eines PDF-Skripts, oder weil Sie vielleicht einfach kein Fan von versteckten Informationen sind, können Sie auch alle Beweise im Skript standardmäßig anzeigen. Dafür wählen Sie im Menü die Option Alle Beweise ausklappen.

Ein- und Ausblenden ganzer Blöcke

Wenn Sie für ihre Übungsaufgaben nur eine Zusammenstellung aller Sätze und Definitionen haben möchten, oder analog aller Sätze, Definitionen und Beispiele, dann können Sie im Menü Ihre Lieblingsansicht wählen.

Tooltips

Damit Sie nicht ständig zwischen verschiedenen Abschnitten im Skript hin- und herspringen müssen, haben wir in einigen Fällen Tooltips in die Links oder Symbole eingebaut, die erscheinen, wenn man mit der Maus darüberfährt. Probieren Sie dies mit dem Link auf auto aus, oder mit den Kürzeln für Zahlenmengen wie \(\N, \R, \Q, \Z, \C\), oder mit den Körpereigenschaften aus Kapitel 2: \(\KA, \KB, \KC, ...\).

Offlinemodus

Wie jede andere Webseite auch, können Sie das Skript abspeichern (Menü ihres Browsers \(\rightarrow\) Seite speichern unter). Und dann auch offline öffnen. Eine weitere Möglichkeit ist das bereits erwähnte erzeugen eines PDFs über das Skriptmenü (hierbei gehen allerdings alle interaktiven Funktionalitäten verloren).

Annotationen

Eventuell möchten Sie sich gerne eigene Anmerkungen an das Skript schreiben. Dafür können Sie entweder das Skript als PDF exportieren und dann das PDF annotieren, oder Sie nutzen ein Webseiten-Annotations-Tool. Wir haben hier unter Chrome bereits das Add-On Beanote ausprobiert. Damit können Sie Text im Skript markieren und dann eigene Anmerkungen schreiben. Diese blieben bei unseren Tests auch bei einem späterem Öffnen des Skripts (auf dem gleichen Rechner) erhalten.