diff options
author | Fabrice Le Fessant <fabrice@ocamlpro.com> | 2012-02-09 16:15:49 +0100 |
---|---|---|
committer | Fabrice Le Fessant <fabrice@ocamlpro.com> | 2012-02-09 16:15:49 +0100 |
commit | 145bbab3cce930ef952681a83340d6bcf6a2368c (patch) | |
tree | f5ceca266183d86eca8de0364e4baf216626cefa | |
parent | b07d2b1886199b338d7c8ce79a29dbeaf2d85ec4 (diff) |
Added some INRIA logos
-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 |