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

can't play margin games or netscape 4.51 breaks. bummer.

Browse Source
This commit is contained in:
jim winstead
2001-03-07 23:09:52 +00:00
parent 35d0e0d9ec
commit 212b77fe2d
1 changed files with 0 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files

38
style.css
View File

@@ -3,29 +3,11 @@ body, td, th {
font-size: 13px;
}
dd,p {
margin-top: 4px;
margin-bottom: 8px;
}
em {
font-weight: bold;
font-style: italic;
}
form {
margin: 0px;
}
ul, ol {
margin-top: 8px;
}
ul.compact, ol.compact {
margin-top: 0px;
margin-bottom: 0px;
}
pre,code {
font-family: "andale mono", "monotype.com", "courier new", monospace;
font-size: 12px;
@@ -36,8 +18,6 @@ h1 {
font-size: 18px;
font-weight: bold;
color: #000066;
margin-top: 8px;
margin-bottom: 8px;
}
h2 {
@@ -45,13 +25,6 @@ h2 {
font-size: 16px;
font-weight: bold;
color: #000066;
margin-top: 8px;
margin-bottom: 8px;
}
.condensed {
margin-top: 0px;
margin-bottom: 0px;
}
h3 {
@@ -59,8 +32,6 @@ h3 {
font-size: 14px;
font-weight: bold;
color: #000066;
margin-top: 8px;
margin-bottom: 8px;
}
small {
@@ -107,14 +78,5 @@ textarea.small {
font-size: 11px;
}
dt {
margin-top: 20px;
}
hr {
margin-top: 8px;
margin-bottom: 8px;
}
// manual stuff