Received: from mail-lb0-f185.google.com ([209.85.217.185]:36744) by stodi.digitalkingdom.org with esmtps (TLSv1.2:AES128-GCM-SHA256:128) (Exim 4.80.1) (envelope-from ) id 1YKP32-0006ic-NX for lojban-list-archive@lojban.org; Sun, 08 Feb 2015 02:25:08 -0800 Received: by mail-lb0-f185.google.com with SMTP id w7sf575595lbi.2 for ; Sun, 08 Feb 2015 02:24:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=mime-version:reply-to:in-reply-to:references:from:date:message-id :subject:to:content-type:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe; bh=KsX+qwRzuO7u3OS+2SRJ+++JbThH9y++tGdQOrIufwk=; b=tHzH+UPFHkMSnAlYbKrQU0MJ42Vs7Ooy7qgHUxnzqwTrCMHZLWZuJWQOhzausZSKuM zDm/SQNHlzUQbRG+r7tDptKL4EMyI+TTbm2XSwFpJuhPSBHFP88cM9ZU/AlZ4Nd1DHJz sII92vmBdeA21s0xSUjkxhIlSDeP9DXhVQP7JedF0yeb8YAzzOKboWp1ZCy0OCj7hI9S /AfWjLxbxcwSkER3XuEcy7aQF4/z/pOne/3ze9jP7tcqhZ2K8K0OQQ0CRLrP5Xl3XIFM ki9KgVw4dqHQrgPGUOUdAqrwlOFw/CSwcwWd5VZaif/rFrtx4IVG+tkxc/9yVJhqy/Xc tiXA== X-Received: by 10.180.99.234 with SMTP id et10mr58937wib.20.1423391097880; Sun, 08 Feb 2015 02:24:57 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.180.187.234 with SMTP id fv10ls382664wic.10.canary; Sun, 08 Feb 2015 02:24:57 -0800 (PST) X-Received: by 10.180.12.146 with SMTP id y18mr1140275wib.6.1423391097441; Sun, 08 Feb 2015 02:24:57 -0800 (PST) Received: from mail-we0-x234.google.com (mail-we0-x234.google.com. [2a00:1450:400c:c03::234]) by gmr-mx.google.com with ESMTPS id o9si689996wiw.0.2015.02.08.02.24.57 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 08 Feb 2015 02:24:57 -0800 (PST) Received-SPF: pass (google.com: domain of lurifax@gmail.com designates 2a00:1450:400c:c03::234 as permitted sender) client-ip=2a00:1450:400c:c03::234; Received: by mail-we0-f180.google.com with SMTP id m14so21474660wev.11 for ; Sun, 08 Feb 2015 02:24:57 -0800 (PST) X-Received: by 10.194.81.193 with SMTP id c1mr29101515wjy.11.1423391097329; Sun, 08 Feb 2015 02:24:57 -0800 (PST) MIME-Version: 1.0 Received: by 10.27.229.130 with HTTP; Sun, 8 Feb 2015 02:24:37 -0800 (PST) Reply-To: lojban@googlegroups.com In-Reply-To: <20150208090931.GC4857@stodi.digitalkingdom.org> References: <20150123220657.GE3433@stodi.digitalkingdom.org> <20150208090931.GC4857@stodi.digitalkingdom.org> From: =?UTF-8?Q?Dan_Ros=C3=A9n?= Date: Sun, 8 Feb 2015 11:24:37 +0100 Message-ID: Subject: Re: [lojban] Re: CLLv1.1 Help Wanted To: lojban@googlegroups.com Content-Type: multipart/alternative; boundary=047d7bb04dbcbb9b94050e9110d5 X-Original-Sender: lurifax@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of lurifax@gmail.com designates 2a00:1450:400c:c03::234 as permitted sender) smtp.mail=lurifax@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: 0.8 (/) X-Spam_score: 0.8 X-Spam_score_int: 8 X-Spam_bar: / X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: The "OSX" version looks a lot better, up to that the sans-serif font in the examples is replaced with an ugly serif font (suspiciously identical to Times New Roman). mu'o On 8 February 2015 at 10:09, Robin Lee Powell wrote: [...] Content analysis details: (0.8 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 URIBL_BLOCKED ADMINISTRATOR NOTICE: The query to URIBL was blocked. See http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block for more information. [URIs: googlegroups.com] 2.7 DNS_FROM_AHBL_RHSBL RBL: Envelope sender listed in dnsbl.ahbl.org [listed in googlegroups.com.rhsbl.ahbl.org. IN] [A] -0.0 RCVD_IN_MSPIKE_H3 RBL: Good reputation (+3) [209.85.217.185 listed in wl.mailspike.net] 0.0 T_HEADER_FROM_DIFFERENT_DOMAINS From and EnvelopeFrom 2nd level mail domains are different -0.0 SPF_PASS SPF: sender matches SPF record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (lurifax[at]gmail.com) 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is CUSTOM_MED 0.0 HTML_MESSAGE BODY: HTML included in message -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily valid 0.0 T_FREEMAIL_FORGED_FROMDOMAIN 2nd level domains in From and EnvelopeFrom freemail headers are different -0.0 RCVD_IN_MSPIKE_WL Mailspike good senders --047d7bb04dbcbb9b94050e9110d5 Content-Type: text/plain; charset=UTF-8 The "OSX" version looks a lot better, up to that the sans-serif font in the examples is replaced with an ugly serif font (suspiciously identical to Times New Roman). mu'o On 8 February 2015 at 10:09, Robin Lee Powell wrote: > The CSS allows for *many* alternative fonts, just to be helpful :), > but here's the actual primary font list: > > prince: Converting document... > prince: used font: Linux Libertine O, Bold > prince: used font: Linux Libertine O, Regular > prince: used font: Linux Libertine O, Italic > prince: used font: Linux Biolinum O, Bold > prince: used font: Linux Biolinum O, Regular > prince: used font: DejaVu Serif, Bold > prince: used font: DejaVu Serif, Book > prince: used font: DejaVu Sans Mono, Book > prince: used font: Linux Libertine O, Bold Italic > prince: used font: Unifont, Medium > prince: used font: Linux Biolinum O, Italic > prince: used font: DejaVu Sans Mono, Oblique > > If you have those all installed, you should get exactly the same > results as I get. > > On Sat, Feb 07, 2015 at 11:37:14PM -0800, la durka wrote: > > I've been compiling both locally on OSX (ex: alexburka.com/tmp/cll_5.pdf > ) > > and with my git-auto-updating-gizmo on a Debian server (ex: > > alexburka.com/lojban/cll_5.pdf) and getting wildly different fonts. > > Specifically, with the font I get on Linux I'm having to split a lot of > > examples to prevent them overflowing the page. So which font (or neither) > > is the one you will use when building the real PDF? > > > > - mu'o mi'e la durkavore > > > -- 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. --047d7bb04dbcbb9b94050e9110d5 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
The "OSX" version looks a lot better, up to that= the sans-serif font in the examples is replaced with an ugly serif font (s= uspiciously identical to Times New Roman).

mu'o

On 8 February 2015 at 10:09, R= obin Lee Powell <rlpowell@digitalkingdom.org> wrot= e:
The CSS allows for *many* alternative = fonts, just to be helpful :),
but here's the actual primary font list:

prince: Converting document...
prince: used font: Linux Libertine O, Bold
prince: used font: Linux Libertine O, Regular
prince: used font: Linux Libertine O, Italic
prince: used font: Linux Biolinum O, Bold
prince: used font: Linux Biolinum O, Regular
prince: used font: DejaVu Serif, Bold
prince: used font: DejaVu Serif, Book
prince: used font: DejaVu Sans Mono, Book
prince: used font: Linux Libertine O, Bold Italic
prince: used font: Unifont, Medium
prince: used font: Linux Biolinum O, Italic
prince: used font: DejaVu Sans Mono, Oblique

If you have those all installed, you should get exactly the same
results as I get.

On Sat, Feb 07, 2015 at 11:37:14PM -0800, la durka wrote:
> I've been compiling both locally on OSX (ex: alexburka.com/tmp/cll_5.pdf= )
> and with my git-auto-updating-gizmo on a Debian server (ex:
> al= exburka.com/lojban/cll_5.pdf) and getting wildly different fonts.
> Specifically, with the font I get on Linux I'm having to split a l= ot of
> examples to prevent them overflowing the page. So which font (or neith= er)
> is the one you will use when building the real PDF?
>
> - mu'o mi'e la durkavore
>

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@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 http= s://groups.google.com/d/optout.
--047d7bb04dbcbb9b94050e9110d5--