# HG changeset patch
# User paulo
# Date 1363147349 25200
# Node ID 637a4470363b2f728d6ed7a93d204b472cd5d229
# Parent  50de1845520fa54d23c1258a254e12f36695c625
adjust index page formatting

diff -r 50de1845520f -r 637a4470363b index.css
--- a/index.css	Tue Mar 12 01:43:17 2013 -0700
+++ b/index.css	Tue Mar 12 21:02:29 2013 -0700
@@ -14,9 +14,9 @@
 	color: gray;
 }
 
-dt
+table.index td
 {
-	padding-top: 15px;
+	padding-right: 15px;
 }
 
 div.index_date
diff -r 50de1845520f -r 637a4470363b index_app.py
--- a/index_app.py	Tue Mar 12 01:43:17 2013 -0700
+++ b/index_app.py	Tue Mar 12 21:02:29 2013 -0700
@@ -42,7 +42,7 @@
 	body = root.body
 	body.h1(TITLE_FMT % str(_get_breadcrumb(cwd)), escape=False)
 	
-	body_table = body.table
+	body_table = body.table(klass="index")
 	
 	for (i, modeok, mtime) in sorted(dirs, key=lambda x: x[2], reverse=True):
 		if modeok: