From 490e21ff077c07df3bfc3f58e73d35ac0da55d35 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Fri, 20 Dec 2013 16:20:49 -0700 Subject: [PATCH] Use Racket navbar on pkgs. and have navbar link to pkgs. Open question: Where does link to Planet go? Sam's new design has a natural place, but on the old site... it's not clear, community? --- .../meta/pkg-index/official/static/index.html | 2 + .../meta/pkg-index/official/static/logo.png | Bin 0 -> 6717 bytes .../meta/pkg-index/official/static/style.css | 49 ++++++++++++++++++ pkgs/plt-services/meta/web/all.rkt | 2 +- pkgs/plt-services/meta/web/config.rkt | 1 + pkgs/plt-services/meta/web/stubs/all.rkt | 5 +- pkgs/plt-services/meta/web/stubs/packages.rkt | 17 ++++++ 7 files changed, 73 insertions(+), 3 deletions(-) create mode 100644 pkgs/plt-services/meta/pkg-index/official/static/logo.png create mode 100644 pkgs/plt-services/meta/web/stubs/packages.rkt diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.html b/pkgs/plt-services/meta/pkg-index/official/static/index.html index 765307cf04..d0c689db01 100644 --- a/pkgs/plt-services/meta/pkg-index/official/static/index.html +++ b/pkgs/plt-services/meta/pkg-index/official/static/index.html @@ -10,6 +10,8 @@ +
+