1
0
mirror of https://github.com/php/web-php.git synced 2026-03-29 10:42:23 +02:00
Files
archived-web-php/php-style.css
Rasmus Lerdorf 1cb421edf5 Ok, the bulk of the site has been changed over. Still a bit of clean-up
work to do.  And some of the links don't go anywhere.
1998-03-23 19:50:45 +00:00

20 lines
305 B
CSS

/* $Id$ */
.sidebartoc {
font-family: tahoma, arial, helvetica, sans-serif;
color: #FFFFFF;
text-decoration: none
}
.example {
margin-top: 5px;
margin-bottom: 5px;
margin-left: 5px;
background: #E0E0E0;
}
.programlisting {
margin-left: 15px;
font-family: courier;
}