Technische Einzelheiten
HTML
Im Regelfall wurden Seiten gemäß dem XHTML-1.0-Standard kodiert. Umfangreichere Dokumente liegen im PDF-Format vor. Abbildungen liegen in der Regel im GIF- oder im Falle von Fotografien im JPEG-Format vor. Strichzeichnungen und Pläne werden im Rahmen der Möglichkeiten im SVG-Format angeboten.
Im Falle älterer Browser wie z.B. Netscape 3.0 kann es vorkommen, dass die XML-Deklarationen, die eigentlich im nicht druckbaren Dokumentkopf stehen, dennoch ausgegeben werden.
Site-Navigation-Bars, die auf Basis des <link>-Tags arbeiten, werden
unterstützt.
Popup-Fenster
Für Erläuterungen kommen unter bestimmten Umständen so genannte Pop-up-Fenster zum Einsatz. Deren Fenstername ist „Abbr“.
Unicode
Um alle Zeichen (Buchstaben und Zahlen) auf dieser Site eineindeutig kodieren können, wurde auf den meisten Seiten der Unicode-Zeichsatz verwendet. Der Zeichsatz wird von allen modernen Betriebssystemen und von allen Browsern ab der 4. Generation unterstützt.
Der hier benutzte Zeichsatz „Arial Unicode MS“ ist Bestandteil der Microsoft ® Office-2000- und Office-XP-Suites.
Die für die Transliteration insbesondere von arabischen Texten benutzten Sonderzeichen Hamza und ʿAin wurden wie folgt kodiert:
| Hamza | ʾ | U+02BE | Modifier letter right half ring |
| ʿAin | ʿ | U+02BF | Modifier letter left half ring |
Stilvorlagen
Das Seitenlayout wird von nachfolgenden Stilvorlagen bestimmt:
Informationsfenster: main.css, main-base.css, main-advanced.css, main-layout.css, main-print.css, main-aural.css.
JavaScript-Skripten
Mit wenigen Ausnahmen, bei denen der JavaScript-Code direkt in den Quelltext geschrieben wurde, sind alle Codesequenzen in einer einzigen Datei vereint: main.js. Wichtige Kommentare sind in der Datei enthalten.
Es wurde versucht, dass auch im Falle älterer Browser durch Vorab-Tests keine Fehlermeldungen aufgrund fehlender Funktionen oder Objekte ausgegeben werden.
Cookies
Die Namen der auf dieser Site benutzten vier Cookievariablen sind: popUp, selectedStyle, duration und refreshed. Die Werte dieser Variablen können Sie mit dem Cookie-Manager Ihres Browsers einsehen und kontrollieren. Eine fünfte Cookie-Variable, testIt, wird benutzt, um feststellen zu können, ob das Setzen von Cookies erlaubt ist; diese Variable wird aber nach dem Test sofort wieder gelöscht.
Für das Cookie popUp bedeutet der Wert 1 gesetzte Option, der Wert 2 nicht gesetzte Option. Das Cookie selectedStyle bezeichnet die Nummer der benutzten Stilvorlage: 1: Standard-Stilvorlage, 2: alte Stilvorlage, 3: erste Alternative, 4: zweite Alternative. duration benennt die Dauer der Speicherung der Cookies in Tagen. Die Cookie-Variable refreshed wird benutzt, um die genannten Cookie-Variablen im Abstand von mindestens einem Tag neu zu setzen. Damit wird der Zeitraum der Speicherung der Cookie-Variablen beim Besuch der Homepage wieder auf den gesamten vorgegebenen Zeitraum gesetzt, frühestens aber nach einem weiteren Tag: Mit der Cookie-Variablen refreshed, die nur einen Tag lang gespeichert wird, wird gestestet, ob in den letzten 24 Stunden bereits eine Auffrischung erfolgt ist.
Internet-Workshop
Teil dieser Site sind die Manuskripten und Übungen meiner Lehrveranstaltung „Internet-Wokshop“.