=============================================================================
ÄNDERUNG DES HINTERGRUNDBILDES

Datei »bg.jpg« wird durch eine Bilddatei in einem anderen Dateiformat
(GIF, PNG) und / oder Dateinamen ersetzt
  
Die neue Hintergrunddatei (z.B. bg_2.gif) ist in der CSS-Datei style.css
einzutragen.

[...]
/* index.htm */
#body_index {
 background-image: url("./bg.jpg");
 background-color: #FFFFFF;
 font-family: Arial, sans-serif;
 font-size: 14px;
 margin: 10px 2px 15px 2px;
}
[...]

=============================================================================
ÄNDERUNG DER BILDDATEI logo.gif

Datei »logo.gif« wird durch eine Bilddatei (z.B.logo_2.png ) in einem
anderen Dateiformat (JPEG, PNG) und / oder Dateinamen ersetzt
  
  In der Konfigurationsdatei »programs/config/config_xx.txt« ist das neue
  Dateiformat (jpg, png) und / oder Dateiname zu einzutragen.

  [...]
  # LOGO: Name der Bilddatei; unterstützte Dateitypen: GIF, JPEG und PNG
  GALLERY_PICTURE_LOGO='logo_2.png'
  [...]

=============================================================================
HTML-SEITEN EINFÜGEN

In die CSS-Datei style.css müssen bei einer veränderten Bildgröße und
längeren Textinhalten eventuell noch Änderungen (height: xxxpx;) eingearbeitet
werden.

[...]
/* EXTRA-HTML-Files */
[...]
#div_extra {
 display: flex;
 justify-content: center;
 align-content: center;
 width: 100%;
 height: 570px;
 overflow-y: auto;
}
[...]

