Fix border sizing [Greg Stark]
authorDave Page <dpage@pgadmin.org>
Tue, 28 Oct 2008 15:56:20 +0000 (15:56 +0000)
committerDave Page <dpage@pgadmin.org>
Tue, 28 Oct 2008 15:56:20 +0000 (15:56 +0000)
commit22f986f2b51b6255247ab388abc47940cce65c34
tree3ac8cec23048df3697fbe088210256122a3be4f4
parent02d13156a5033145e4e7ca39192a9195076ce089
Fix border sizing [Greg Stark]
www/css/planet.css