--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thirdparty/google_appengine/google/appengine/ext/admin/templates/css/pager.css	Tue Aug 26 21:49:54 2008 +0000
@@ -0,0 +1,7 @@
+.ae-page-number {
+  margin: 0 0.5em;
+}
+
+.ae-page-selected {
+  font-weight: bold;
+}