Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.236 as permitted sender) client-ip=173.13.139.236;
Date: Mon, 20 Jul 2015 22:06:14 -0700
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] Re: CLL v1.1: Visual commentary, please.
Message-ID: <20150721050614.GB30035@stodi.digitalkingdom.org>
Mail-Followup-To: lojban@googlegroups.com
References: <20150720074736.GE27469@stodi.digitalkingdom.org>
 <8b252dec-a930-4314-a482-b8604c2b18cf@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Disposition: inline
In-Reply-To: <8b252dec-a930-4314-a482-b8604c2b18cf@googlegroups.com>
User-Agent: Mutt/1.5.23 (2014-03-12)
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
X-Spam_score: -2.1
X-Spam_score_int: -20
X-Spam_bar: --

On Mon, Jul 20, 2015 at 07:56:46PM -0700, TR NS wrote:
> 
> 
> On Monday, July 20, 2015 at 3:47:39 AM UTC-4, Robin Powell wrote:
> >
> >
> >
> > http://vrici.lojban.org/~rlpowell/media/public/cll_prince_spacing_test_2015-07-20.pdf
> > is my attempt to merge everybody's thoughts about spacing.
> > Compare 
> >
> > http://vrici.lojban.org/~rlpowell/media/public/cll_build-2015-06-20/cll_prince.pdf 
> >
> > It has *MUCH* less vertical whitespace, in basically every
> > department.  It also has smaller headers.  And less indentation. 
> >
> >
> Is there anyway to put the example number in the margin?

Only if we expand the margin to make room; the margins that are
there are required to be blank by the book printer.


-- 
http://intelligence.org/ :  Our last, best hope for a fantastic future.
.i ko na cpedu lo nu stidi vau loi jbopre .i dafsku lu na go'i li'u .e
lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e lu go'i na'i li'u .e
lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mamta be do cu sofybakni li'u

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.