From 532b9924d1dcd3165da44cdaa104748507155daa Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 11 Jun 2008 02:39:04 +0000 Subject: [PATCH] document S+C+Enter svn: r10212 --- collects/scribblings/main/private/search.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/main/private/search.js b/collects/scribblings/main/private/search.js index f08f2b072b..26e0d180bb 100644 --- a/collects/scribblings/main/private/search.js +++ b/collects/scribblings/main/private/search.js @@ -66,8 +66,9 @@ function InitializeSearch() { +' font-family: arial, sans-serif; margin: 0em 0em 1em 0em;' +' padding: 0.5em; background-color: #f0f0f0;">' +'