cvs: php-master-web / style.css /include functions.inc logo.gif

jimw Mon Mar 4 13:39:51 2002 EDT Added files: /php-master-web/include logo.gif Modified files: /php-master-web style.css /php-master-web/include functions.inc Log: add a simple header Index: php-master-web/style.css diff -u php-master-web/style.css:1.2 php-master-web/style.css:1.3 --- php-master-web/style.css:1.2 Wed Oct 17 21:28:12 2001 +++ php-master-web/style.css Mon Mar 4 13:39:50 2002 @@ -1,3 +1,19 @@ +div#header { + background: #dde; + border: 2px solid #669; + padding: 2px 4px; + width: 98%; +} +div#header div#logo { + display: inline; +} +div#header div#links { + display: inline; + text-align: right; + font-size: smaller; + font-family: sans-serif; +} + p.warning { background: #ffeeee; border: 1px solid #ff0000; Index: php-master-web/include/functions.inc diff -u php-master-web/include/functions.inc:1.3 php-master-web/include/functions.inc:1.4 --- php-master-web/include/functions.inc:1.3 Sun Mar 3 22:12:43 2002 +++ php-master-web/include/functions.inc Mon Mar 4 13:39:51 2002 @@ -22,6 +22,15 @@ <title><?php echo $title;?></title> <link rel="stylesheet" type="text/css" href="/style.css" /> </head> +<div id="header"> +<div id="logo"><a href="http://www.php.net/"><img src="/include/logo.gif" width="53" height="28" border="0" alt="php" /></a></div> +<div id="links"> + <a href="/manage/event.php">events</a> +&bull; <a href="/inventory.php">inventory</a> +&bull; <a href="/manage/mirrors.php">mirrors</a> +&bull; <a href="/manage/users.php">users</a> +</div> +</div> <?php }