From 991745108cbcc4ccf4fc4f16622f31d0f899a0f8 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sun, 13 Mar 2011 08:58:29 -0600
Subject: [PATCH] Scribble: experiment with non-bold as syntactic-form font

---
 collects/scribble/racket.css | 4 ++--
 collects/scribble/racket.tex | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/collects/scribble/racket.css b/collects/scribble/racket.css
index 0644698eb6..7b165f3d16 100644
--- a/collects/scribble/racket.css
+++ b/collects/scribble/racket.css
@@ -67,7 +67,7 @@
 
 .RktKw {
   color: black;
-  font-weight: bold;
+  /* font-weight: bold; */
 }
 
 .RktErr {
@@ -97,7 +97,7 @@
 .RktStxLink {
   text-decoration: none;
   color: black;
-  font-weight: bold;
+  /* font-weight: bold; */
 }
 
 .RktRes {
diff --git a/collects/scribble/racket.tex b/collects/scribble/racket.tex
index 817f6bc8f2..b3702db0b2 100644
--- a/collects/scribble/racket.tex
+++ b/collects/scribble/racket.tex
@@ -13,7 +13,7 @@
 \definecolor{OutputColor}{rgb}{0.59,0.00,0.59}
 
 \newcommand{\RktPlain}[1]{\inColor{black}{#1}}
-\newcommand{\RktKw}[1]{{\SColorize{black}{\Scribtexttt{\textbf{#1}}}}}
+\newcommand{\RktKw}[1]{{\SColorize{black}{\Scribtexttt{#1}}}} % no \textbf anymore
 \newcommand{\RktStxLink}[1]{\RktKw{#1}}
 \newcommand{\RktCmt}[1]{\inColor{CommentColor}{#1}}
 \newcommand{\RktPn}[1]{\inColor{ParenColor}{#1}}