diff options
| author | Eric Engestrom <[email protected]> | 2018-05-04 12:46:17 +0100 |
|---|---|---|
| committer | Eric Engestrom <[email protected]> | 2018-05-29 14:48:21 +0100 |
| commit | f736be86bbb4932e89e08f25d4430d96230b11f7 (patch) | |
| tree | 3132c70ecf80d48cda49fcc7735ade252c9514ea /docs | |
| parent | e6a1aca0b27305a718b8679dea10c432f1fa2fc8 (diff) | |
docs: add favicon to the website
favicon.png is just gears.png resized to 64x64, and favicon.ico is
generated using this command, adapted from the ImageMagick example [1]:
$ convert favicon.png -background black \
\( -clone 0 -resize 16x16 \) \
\( -clone 0 -resize 32x32 \) \
\( -clone 0 -resize 48x48 \) \
\( -clone 0 -resize 64x64 \) \
-delete 0 -alpha off -colors 256 favicon.ico
We could edit every html page to add `<link rel="icon" href="favicon.ico" />`,
but there's not much point as pretty much every browser will pick it up
automatically if the file is named `favicon.ico` and is in the root folder.
[1] http://www.imagemagick.org/Usage/thumbnails/#favicon
Signed-off-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/favicon.ico | bin | 0 -> 13094 bytes |
| -rw-r--r-- | docs/favicon.png | bin | 0 -> 2998 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/docs/favicon.ico b/docs/favicon.ico Binary files differnew file mode 100644 index 00000000000..e7e244a161e --- /dev/null +++ b/docs/favicon.ico diff --git a/docs/favicon.png b/docs/favicon.png Binary files differnew file mode 100644 index 00000000000..19898ef7420 --- /dev/null +++ b/docs/favicon.png |
