diff options
| -rw-r--r-- | sources/body.header.include | 7 | ||||
| -rw-r--r-- | www/images/inria_logo_new.png | bin | 0 -> 18614 bytes | |||
| -rw-r--r-- | www/images/inria_logo_old.png | bin | 0 -> 6368 bytes |
3 files changed, 5 insertions, 2 deletions
diff --git a/sources/body.header.include b/sources/body.header.include index 5de8601..e80a37e 100644 --- a/sources/body.header.include +++ b/sources/body.header.include @@ -57,8 +57,11 @@ </a> <br/> - -<a href="http://caml.inria.fr/ocaml/" title="OCaml at Inria">OCaml at Inria</a><br/> +<a href="http://caml.inria.fr/ocaml/" title="OCaml at Inria"> +<img src="images/inria_logo_new.png" width="50"> +<img src="images/inria_logo_old.png" width="50"> +OCaml at Inria +</a><br/> </div> diff --git a/www/images/inria_logo_new.png b/www/images/inria_logo_new.png Binary files differnew file mode 100644 index 0000000..a8aef52 --- /dev/null +++ b/www/images/inria_logo_new.png diff --git a/www/images/inria_logo_old.png b/www/images/inria_logo_old.png Binary files differnew file mode 100644 index 0000000..4de9ef0 --- /dev/null +++ b/www/images/inria_logo_old.png |
