Differences
This shows you the differences between two versions of the page.
Next revisionBoth sides next revision | |||
72:local_style_custom [2018/07/16 19:21] – created bkkr | 72:local_style_custom [2018/07/16 19:22] – [Local Style Customization] bkkr | ||
---|---|---|---|
Line 11: | Line 11: | ||
The icons and headlines shown in the Stages header can also be changed. This customization happens via modification of the local property files | The icons and headlines shown in the Stages header can also be changed. This customization happens via modification of the local property files | ||
- | * < | + | * ''< |
- | * < | + | * ''< |
Both, the left and the right header side can be configured to show either an icon or a headline text. To | Both, the left and the right header side can be configured to show either an icon or a headline text. To | ||
Line 28: | Line 27: | ||
* logo.right.height = <Logo image height in pixel> | * logo.right.height = <Logo image height in pixel> | ||
* logo.right.altkey = logo.right.text.message | * logo.right.altkey = logo.right.text.message | ||
- | * logo.right.link = http://< | + | * logo.right.link = [[http://< |
* logo.right.text.message = <Your message to be shown as tip> | * logo.right.text.message = <Your message to be shown as tip> | ||