From 4e7d5b6d58c7c0eeb9607c39249630749f94e0a2 Mon Sep 17 00:00:00 2001
From: Bert Burgemeister <trebbu@googlemail.com>
Date: Sat, 4 Sep 2010 17:45:10 +0200
Subject: [PATCH] Thicker frames around default values.

Some printers seemed to have difficulty rendering them correctly.
---
 clqr-input-output.tex     | 4 ++--
 clqr-types-and-classes.mp | 4 ++--
 clqr.macros.tex           | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/clqr-input-output.tex b/clqr-input-output.tex
index 2c68740..d189149 100644
--- a/clqr-input-output.tex
+++ b/clqr-input-output.tex
@@ -263,9 +263,9 @@
 
   \end{LIST}
 
-  \IT{\KWD*{(}\qquad\quad}
+  \IT{\KWD*{(}\OPn{\VAR{foo}}\Op{ \KWD*{.} \VAR{bar}\DF{\NIL}}\KWD*{)}}
   {
-  Initiate reading of a list.
+  Read a list of \VAR{foo}s with the terminating cdr \VAR{bar}.
   }
 
   \IT{\KWD{"}\qquad\quad}
diff --git a/clqr-types-and-classes.mp b/clqr-types-and-classes.mp
index 18575e7..58a0796 100644
--- a/clqr-types-and-classes.mp
+++ b/clqr-types-and-classes.mp
@@ -37,14 +37,14 @@ enddef;
 
 def drawboxed_condition_type (text items ) =
   begingroup
-    pickup pencircle xscaled 1 yscaled .2;
+    pickup pencircle xscaled 1.5 yscaled .2;
     drawboxed(items);
   endgroup
 enddef;
 
 def drawboxed_class (text items ) =
   begingroup
-    pickup pencircle xscaled .2 yscaled 1;
+    pickup pencircle xscaled .2 yscaled 1.5;
     drawboxed(items);
   endgroup
 enddef;
diff --git a/clqr.macros.tex b/clqr.macros.tex
index d529903..440f066 100644
--- a/clqr.macros.tex
+++ b/clqr.macros.tex
@@ -80,7 +80,7 @@
 \newcommand{\DES}[1]{\text{{$\widetilde{#1}$}}}
 %
 % Default Value
-\newcommand{\DF}[1]{\text{\textsubscript{\setlength{\fboxsep}{.5pt}\setlength{\fboxrule}{.1pt}\fbox{#1}}}}
+\newcommand{\DF}[1]{\text{\textsubscript{\setlength{\fboxsep}{.5pt}\setlength{\fboxrule}{.2bp}\fbox{#1}}}}
 %
 % Optional Part, [], two sizes
 \newcommand{\OP}[1]{{\text{$\big[$}{#1}\text{$\big]$}}}
-- 
2.11.4.GIT