[r2003-01-14 23:45:20 by cvscast] Empty log message

Original author: cvscast Date: 2003-01-14 23:45:20+00:00

[r2003-01-14 23:45:20 by cvscast] Empty log message
Original author: cvscast Date: 2003-01-14 23:45:20+00:00
95925bb9 · Pietro Abate · c10d9e2e · 95925bb9
Commit 95925bb9 authored Oct 05, 2007 by Pietro Abate
--- a/web/index2.xml
+++ b/web/index2.xml
@@ -2,7 +2,19 @@
 <html>
 <head>
   <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"/>
-   <link rel="stylesheet" href="cduce2.css" type="text/css"/>
+   <?php
+   $browser = getenv("HTTP_USER_AGENT");
+   if (preg_match("/MSIE/i", "$browser")) {
+        $css = "<link rel=\"stylesheet\" href=\"cduce2.css\" type=\"text/css\">";
+   } elseif (preg_match("/Mozilla/i", "$browser")) {
+        $css = "<blink>For better presentation use a more recent version of your browser, such as Netscape 6 or Mozilla</blink>";
+   } if (preg_match("/Mozilla\/5.0/i", "$browser")) {
+        $css = "<link rel=\"stylesheet\" href=\"cduce2.css\" type=\"text/css\">";
+  } elseif  (preg_match("/opera/i", "$browser")) {
+        $css = "<link rel=\"stylesheet\" href=\"cduceOpera.css\" type=\"text/css\">";
+   }
+   echo "$css";
+   ?> 
   <title>CDuce</title>
 </head>
 <body>
@@ -82,7 +94,7 @@ to store and extract information efficiently).</li>

 <box title="">
 <b>CDuce</b> is developped by the  
-<a href="http://www.di.ens.fr/~castagna/EQUIPE"><b>Languages</b></a> group of ENS in Paris and the <a href="http://www.lri.fr/BD"><b>Databases</b></a> group of LRI in Orsay.
+<a href="http://www.di.ens.fr/~castagna/EQUIPE"><b>Languages</b></a> group of ENS in Paris and the <a href="http://www.lri.fr/BD"><b>Databases</b></a> group of LRI in Orsay, two <a href="http://www.cnrs.fr">CNRS</a> labs
 </box>


@@ -91,9 +103,13 @@ This page was automatically  generated from an XML description of the content by
 a CDuce program

 <p/>
+<?php
+$browser = getenv("HTTP_USER_AGENT");
+if (preg_match("/Mozilla/i", "$browser")) {
+if (preg_match("/Mozilla\/5.0/i", "$browser")) {
+   echo "<img src=\"img/cducepower2.jpg\" alt=\"Powered by CDuce\"/>"; } }
+?> 

-<img src="img/cducepower2.jpg" 
-     alt="Powered by CDuce"/>

 </box>

@@ -289,7 +305,12 @@ Some hyperlinks minus the hype</a> by Philip Wadler.</li>
 <a href="mailto:Alain.Frisch@ens.fr">Mail the webmaster</a>
 <p/>
 <br/>
-<a href="comeon.htm">
+<?php
+$browser = getenv("HTTP_USER_AGENT");
+if (preg_match("/Mozilla/i", "$browser")) {
+if (preg_match("/Mozilla\/5.0/i", "$browser")) 
+{
+?><a href="comeon.htm">
  <img style="border:0;width:88px;height:31px"
     src="img/cducepower3.png" 
     alt="Powered by CDuce"/>
@@ -304,6 +325,9 @@ Some hyperlinks minus the hype</a> by Philip Wadler.</li>
       src="http://jigsaw.w3.org/css-validator/images/vcss" 
       alt="Valid CSS!"/>
 </a>
+<?php 
+  ;}} 
+?>
 </div>
 </div>
 </body>