Eigenes Theme erstellen
Kopiere das Default Theme jedhoc im Ordner /usr/share/jedhoc/webapp/VAADIN/themes/jedhoc in einen neuen Ordner im gleichen Verzeichnis, z.B. /usr/share/jedhoc/webapp/VAADIN/themes/meinTheme (Name frei wählbar).
...
Kopiere das Default Theme jedhoc im Ordner /usr/share/jedhoc/webapp/VAADIN/themes/jedhoc in einen neuen Ordner im gleichen Verzeichnis, z.B. /usr/share/jedhoc/webapp/VAADIN/themes/meinTheme (Name frei wählbar).
...