cvs: phpweb / index.php style.css /include layout.inc /styles arial.css default.css verdana.css

jimw Wed Jan 30 11:31:42 2002 EDT Removed files: /phpweb/styles arial.css default.css verdana.css Modified files: /phpweb style.css index.php /phpweb/include layout.inc Log: revert style patch. does not play nicely with the caching. just give it a rest! Index: phpweb/style.css diff -u /dev/null phpweb/style.css:1.22 --- /dev/null Wed Jan 30 11:31:42 2002 +++ phpweb/style.css Wed Jan 30 11:31:38 2002 @@ -0,0 +1,120 @@ +body, ul, td, th { + font-family: verdana,arial,helvetica,sans-serif; + font-size: 95%; +} + +p { + font-family: verdana,arial,helvetica,sans-serif; +} + +em { + font-weight: bold; + font-style: italic; +} + +acronym { + border-bottom: 1px dashed #00cc00; + cursor: help; +} + +.error { + color: #cc0000; +} + +.newsDate { + font-size: 85%; + font-style: italic; + color: #6666cc; +} + +.sidebar { + font-size: 85%; +} + +.sidebar p { + text-align: left !important; +} + +code, pre { + font-family: Courier, "Courier New", monospace; + font-size: 90%; +} + +pre.note { + font-size: 90%; /* font size of less than 90% is impossible to read */ +} + +h1 { + font-family: verdana,arial,helvetica,sans-serif; + font-size: 140%; + font-weight: bold; + color: #000066; +} + +h2 { + font-family: verdana,arial,helvetica,sans-serif; + font-size: 125%; + font-weight: bold; + color: #000066; +} + +h3 { + font-family: verdana,arial,helvetica,sans-serif; + font-size: 110%; + font-weight: bold; + color: #000066; +} + +h4 { + font-family: verdana,arial,helvetica,sans-serif; + font-size: 100%; + font-weight: bold; + color: #000066; +} + +small { + font-family: verdana,arial,helvetica,sans-serif; + font-size: 75%; +} + +a.small { + font-family: verdana,arial,helvetica,sans-serif; + font-size: 75%; + text-decoration: none; +} + +.tableTitle { + font-family: verdana,arial,helvetica,sans-serif; + font-weight: bold; +} + +.tableExtras { + font-family: verdana,arial,helvetica,sans-serif; + font-size: 85%; + color: #FFFFFF; +} + +input { + font-family: verdana,arial,helvetica,sans-serif; +} + +textarea { + font-family: verdana,arial,helvetica,sans-serif; +} + +input.small, select.small { + font-family: verdana,arial,helvetica,sans-serif; + font-size: 75%; +} + +textarea.small { + font-family: verdana,arial,helvetica,sans-serif; + font-size: 75%; +} + +p.formerror { + border: 1px solid #ff0000; + color: #000000; + background: #ffeeee; + padding: 2px 4px; +} Index: phpweb/index.php diff -u phpweb/index.php:1.188 phpweb/index.php:1.189 --- phpweb/index.php:1.188 Wed Jan 30 01:45:45 2002 +++ phpweb/index.php Wed Jan 30 11:31:38 2002 @@ -6,11 +6,6 @@ require_once 'prepend.inc'; -if (isset($setstyle)){ - set_style($setstyle); - header("Location: http://$HTTP_HOST/"); -} - $SIDEBAR_DATA = ' <br> <h3>What is PHP?</h3> Index: phpweb/include/layout.inc diff -u phpweb/include/layout.inc:1.69 phpweb/include/layout.inc:1.70 --- phpweb/include/layout.inc:1.69 Wed Jan 30 01:45:46 2002 +++ phpweb/include/layout.inc Wed Jan 30 11:31:40 2002 @@ -1,5 +1,5 @@ <?php -/* $Id: layout.inc,v 1.69 2002/01/30 06:45:46 imajes Exp $ */ +/* $Id: layout.inc,v 1.70 2002/01/30 16:31:40 jimw Exp $ */ # spacer() # print a IMG tag for a sized spacer GIF @@ -57,18 +57,6 @@ return $image; } -# set_style() -# Set the default style according to stylesheet -# - -function set_style($style) { - - if (isset($style)) { - setcookie("phpstyle", $style, time()+31449600, "", $HTTP_HOST); - } -} - - # print_image() # print an IMG tag for a given file # @@ -191,13 +179,12 @@ function commonHeader($title="",$dont_enclose=0,$headers_gone=0) { global $MYSITE, $enclosed; global $SIDEBAR_DATA, $prevsearch; - global $phpstyle; ?><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <html> <head> <title>PHP<?php if ($title) echo ": $title";?></title> - <link rel="stylesheet" href="styles/<?php echo ($phpstyle) ? $phpstyle . ".css" : "verdana.css";?>"> + <link rel="stylesheet" href="/style.css"> </head> <body topmargin="0" leftmargin="0" marginheight="0" marginwidth="0" @@ -214,15 +201,8 @@ <?php echo strftime("%A, %B %d, %Y"); ?> </url-minder-ignore> </b>&nbsp;<br> - </font><br> - Select Style:&nbsp; - <?php - print_link('/index.php?setstyle=verdana', 'verdana', 'false', 'clase="small"'); - echo delim(); - print_link('/index.php?setstyle=arial', 'arial', 'false', 'clase="small"'); - echo delim(); - print_link('/index.php?setstyle=default', 'no style', 'false', 'clase="small"'); - ?></td> + </font> + </td> </tr> <tr bgcolor="#9999cc">