summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice Le Fessant <fabrice@ocamlpro.com>2012-02-09 16:15:49 +0100
committerFabrice Le Fessant <fabrice@ocamlpro.com>2012-02-09 16:15:49 +0100
commit145bbab3cce930ef952681a83340d6bcf6a2368c (patch)
treef5ceca266183d86eca8de0364e4baf216626cefa
parentb07d2b1886199b338d7c8ce79a29dbeaf2d85ec4 (diff)
Added some INRIA logos
-rw-r--r--sources/body.header.include7
-rw-r--r--www/images/inria_logo_new.pngbin0 -> 18614 bytes
-rw-r--r--www/images/inria_logo_old.pngbin0 -> 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
new file mode 100644
index 0000000..a8aef52
--- /dev/null
+++ b/www/images/inria_logo_new.png
Binary files differ
diff --git a/www/images/inria_logo_old.png b/www/images/inria_logo_old.png
new file mode 100644
index 0000000..4de9ef0
--- /dev/null
+++ b/www/images/inria_logo_old.png
Binary files differ