From e287b89ecd02fcafe9dc0add4c82ddee14791eaa Mon Sep 17 00:00:00 2001 From: Nicolas Paul Date: Thu, 27 Apr 2023 18:36:46 +0200 Subject: Update documentation site --- doc/src/.crocc.html | 78 +++++++++++++---- doc/src/assets/crocc_logo.svg | 41 +++++++++ doc/src/assets/emoji_crocodile.ico | Bin 4286 -> 0 bytes doc/src/assets/emoji_crocodile.png | Bin 5594 -> 0 bytes doc/src/assets/emoji_crocodile.svg | 167 +++++++++++++++++++---------------- doc/src/css/prism.css | 4 + doc/src/css/style.css | 173 +++++++++++++++++++++++++++++++++++++ doc/src/doc/iodir.md | 1 + doc/src/js/prism.js | 14 +++ doc/src/style.css | 92 -------------------- 10 files changed, 385 insertions(+), 185 deletions(-) create mode 100644 doc/src/assets/crocc_logo.svg delete mode 100644 doc/src/assets/emoji_crocodile.ico delete mode 100644 doc/src/assets/emoji_crocodile.png create mode 100644 doc/src/css/prism.css create mode 100644 doc/src/css/style.css create mode 100644 doc/src/js/prism.js delete mode 100644 doc/src/style.css diff --git a/doc/src/.crocc.html b/doc/src/.crocc.html index 49cf993..490ac42 100644 --- a/doc/src/.crocc.html +++ b/doc/src/.crocc.html @@ -14,8 +14,8 @@ - - + + @@ -31,23 +31,37 @@ - - - + + + + + -
-