Jan-Eric Schober 77b676be7b Add the possibility to allow the user to have a favicon which differs from the main logo (#18542) ...

* Changed the filename of the favicon SVG

This allows the user to have a favicon which differs from the logo.

* Added favicon.svg

This is needed to accommodate the changes for allowing the user to have a differing logo and favicon

* Adjusted page to accommodate what icon is used as favicon

* Added functionality to also generate the favicon.svg via generate-images.js

* Adjusted the description for the new favicon compatibility

Co-authored-by: silverwind <me@silverwind.io>

* Updated generate-images.js to generate favicons from a separate favicons.svg file

This belongs to PR #18542.

* Added description on how custom favicons can be generated

* Replaced space indents with tabs

* Synced changes with current state of the file

* Synced changes with current state of the file

Co-authored-by: silverwind <me@silverwind.io>
Co-authored-by: zeripath <art27@cantab.net>
Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>
Co-authored-by: Lauris BH <lauris@nix.lv>

2022-05-23 23:54:48 +08:00

doc

Add the possibility to allow the user to have a favicon which differs from the main logo (#18542)

2022-05-23 23:54:48 +08:00

page

Fix various typos of software names (#18083)

2021-12-24 11:56:57 +08:00

Description

No description provided

Apache-2.0 12 MiB

Languages

MDX 55.8%

JavaScript 26.8%

CSS 13.8%

Shell 2.4%

Makefile 1.2%