Scribble: experiment with non-bold as syntactic-form font

This commit is contained in:
Matthew Flatt 2011-03-13 08:58:29 -06:00
parent 5d481c259b
commit 991745108c
2 changed files with 3 additions and 3 deletions

View File

@ -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 {

View File

@ -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}}