diff options
| author | ianb <devnull@localhost> | 2005-07-17 02:01:06 +0000 |
|---|---|---|
| committer | ianb <devnull@localhost> | 2005-07-17 02:01:06 +0000 |
| commit | cd0a79327830df6dd299ea93dd49fdc9436244cb (patch) | |
| tree | e22d800a1208a6ed91626ed8cbf0bac95bf34819 /docs/web/style.css | |
| parent | 5a95682c2070005009a709631e66716786493c81 (diff) | |
| download | paste-cd0a79327830df6dd299ea93dd49fdc9436244cb.tar.gz | |
Redesign to display contents more nicely, and move blog off front page (which I didn't really want to do, but blogger was being a PITA)
Diffstat (limited to 'docs/web/style.css')
| -rw-r--r-- | docs/web/style.css | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/web/style.css b/docs/web/style.css index fae8db8..c358643 100644 --- a/docs/web/style.css +++ b/docs/web/style.css @@ -39,14 +39,15 @@ div#header h1 { div#nav { float: left; background-color: #fd9; - border-right: 1px solid #f70; + border: 1px solid #f70; margin-right: 1em; border-bottom: 1px solid #f70; + width: 200px; } div#nav ul { padding: 0; - margin: 2px 0 2px 0; + margin: 0; } div#nav li { |