From c16028b7622bfd8819ffb6f28bd3bf7764a2df2c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 3 Mar 2014 09:23:00 -0700 Subject: [PATCH] new web pages: fix generated doc-site.css --- pkgs/plt-services/meta/new-web/stubs/docs.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/plt-services/meta/new-web/stubs/docs.rkt b/pkgs/plt-services/meta/new-web/stubs/docs.rkt index ddf9a039d6..d4befc2fb3 100644 --- a/pkgs/plt-services/meta/new-web/stubs/docs.rkt +++ b/pkgs/plt-services/meta/new-web/stubs/docs.rkt @@ -27,7 +27,7 @@ (plain #:site docs-site #:file "doc-site.css" @list{ - @"@"import url("@(site-css-path docs-site)") + @"@"import url("@(site-css-path docs-site)"); .navsettop, .tocset { top: 60px; } .versionbox { top: 64px; } }))