diff --git a/collects/scribble/racket.css b/collects/scribble/racket.css index 0644698e..7b165f3d 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 817f6bc8..b3702db0 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}}