From aff4391d92d685c267fd4f78af66fe7f26172e5f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 8 Jul 2014 16:27:23 +0100 Subject: [PATCH] pkg-build: tweak format of summary page --- pkgs/plt-services/meta/pkg-build/summary.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/pkgs/plt-services/meta/pkg-build/summary.rkt b/pkgs/plt-services/meta/pkg-build/summary.rkt index 45903c86b5..dc1ca59516 100644 --- a/pkgs/plt-services/meta/pkg-build/summary.rkt +++ b/pkgs/plt-services/meta/pkg-build/summary.rkt @@ -47,8 +47,8 @@ (define docs (hash-ref ht 'docs)) (define author (hash-ref ht 'author)) (define conflicts-log (hash-ref ht 'conflicts-log)) - (tr (td pkg) - (td author) + (tr (td pkg + (div class: "author" author)) (td (if (null? docs) "" (list @@ -116,6 +116,7 @@ .go { background-color: #ccffcc } .stop { background-color: #ffcccc } .yield { background-color: #ffffcc } + .author { font-size: small; font-weight: normal; } .annotation { font-size: small } }|))