php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-30 19:22:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

revert style patch. does not play nicely with the caching.

Browse Source 
just give it a rest!
This commit is contained in:
jim winstead
2002-01-30 16:31:40 +00:00
parent a0c33c08df
commit 5d71f7aa60
5 changed files with 5 additions and 247 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
include/layout.inc
View File

@@ -57,18 +57,6 @@ function make_image($file, $alt=false, $align=false, $extras=false, $dir=false,
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 @@ $enclosed = 0;
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 @@ function commonHeader($title="",$dont_enclose=0,$headers_gone=0) {
<?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">

5
index.php
View File

@@ -6,11 +6,6 @@ header("Cache-Control: public, max-age=600");
require_once 'prepend.inc';
if (isset($setstyle)){
set_style($setstyle);
header("Location: http://$HTTP_HOST/");
}
$SIDEBAR_DATA = '
<br>
<h3>What is PHP?</h3>

5
styles/verdana.css → style.css
View File

@@ -1,11 +1,10 @@
body, ul, td, th {
font-family: verdana,arial,helvetica,sans-serif;
font-size: 85%;
font-size: 95%;
}
p {
font-family: verdana,arial,helvetica,sans-serif;
font-size: 85%;
}
em {
@@ -29,7 +28,7 @@ acronym {
}
.sidebar {
font-size: 80%;
font-size: 85%;
}
.sidebar p {

120
styles/arial.css
View File

@@ -1,120 +0,0 @@
body, ul, td, th {
font-family: arial,helvetica,sans-serif;
font-size: 95%;
}
p {
font-family: 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: 80%;
}
.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: arial,helvetica,sans-serif;
font-size: 140%;
font-weight: bold;
color: #000066;
}
h2 {
font-family: arial,helvetica,sans-serif;
font-size: 125%;
font-weight: bold;
color: #000066;
}
h3 {
font-family: arial,helvetica,sans-serif;
font-size: 110%;
font-weight: bold;
color: #000066;
}
h4 {
font-family: arial,helvetica,sans-serif;
font-size: 100%;
font-weight: bold;
color: #000066;
}
small {
font-family: arial,helvetica,sans-serif;
font-size: 75%;
}
a.small {
font-family: arial,helvetica,sans-serif;
font-size: 75%;
text-decoration: none;
}
.tableTitle {
font-family: arial,helvetica,sans-serif;
font-weight: bold;
}
.tableExtras {
font-family: arial,helvetica,sans-serif;
font-size: 85%;
color: #FFFFFF;
}
input {
font-family: arial,helvetica,sans-serif;
}
textarea {
font-family: arial,helvetica,sans-serif;
}
input.small, select.small {
font-family: arial,helvetica,sans-serif;
font-size: 75%;
}
textarea.small {
font-family: arial,helvetica,sans-serif;
font-size: 75%;
}
p.formerror {
border: 1px solid #ff0000;
color: #000000;
background: #ffeeee;
padding: 2px 4px;
}

96
styles/default.css
View File

@@ -1,96 +0,0 @@
body, ul, td, th {
font-size: 85%;
}
p {
font-size: 85%;
}
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: 80%;
}
.sidebar p {
text-align: left !important;
}
code, pre {
font-size: 90%;
}
pre.note {
font-size: 90%; /* font size of less than 90% is impossible to read */
}
h1 {
font-size: 140%;
font-weight: bold;
color: #000066;
}
h2 {
font-size: 125%;
font-weight: bold;
color: #000066;
}
h3 {
font-size: 110%;
font-weight: bold;
color: #000066;
}
h4 {
font-size: 100%;
font-weight: bold;
color: #000066;
}
small {
font-size: 75%;
}
a.small {
font-size: 75%;
text-decoration: none;
}
.tableTitle {
font-weight: bold;
}
.tableExtras {
font-size: 85%;
color: #FFFFFF;
}
textarea,small, input.small, select.small {
font-size: 75%;
}
p.formerror {
border: 1px solid #ff0000;
color: #000000;
background: #ffeeee;
padding: 2px 4px;
}