Received: from mail-vk0-f59.google.com ([209.85.213.59]:33308) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.86) (envelope-from ) id 1bH0xr-0007YC-T9 for lojban-list-archive@lojban.org; Sat, 25 Jun 2016 20:42:36 -0700 Received: by mail-vk0-f59.google.com with SMTP id c127sf50048222vkb.0 for ; Sat, 25 Jun 2016 20:42:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=sender:date:from:to:subject:message-id:mail-followup-to :mime-version:content-disposition:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=JP6iyyM+qh3kBao59ZMTVZRZ6OJ53IWFJPCQttRP7g4=; b=c/zTIQgfOVjcaJo0A+oZ5VGZhVlreCY8wzOzWXr8rOY7vJ3U42c9T7PpSMpSm3zXX9 iTv/0ZDkIOIugjhb5r/1uRwVi8xG8Q/T6jWByG4aLvVqRqPzXYWoKNMdCeEGXdsTi537 re9GjtoXFvTD04oV84JVY8/PZLcLg+wOpvQe7kJfPv0BfhFs3Z/CyJIm8DX6+XcnW+kD DQ/yuFWHSXuMicOOeitrRKPdYPCHBEk51aV5nBkxHynWGbRMC4qE3StnqqY84CKF1taX KChj1aOQGggS0B59oovKthdJGkT66Db/xY0Ejxj7/MUM2RxRdUnaSpVNtDnxFPLqJx79 LDRQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=sender:x-gm-message-state:date:from:to:subject:message-id :mail-followup-to:mime-version:content-disposition:user-agent :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=JP6iyyM+qh3kBao59ZMTVZRZ6OJ53IWFJPCQttRP7g4=; b=c4oIRHKnhL65wj6iF6goWpQulEcsodT2lDZiCli6LH+bBZvXUwUq+wzaLlNPSooxKg f89ZqLCj6GTBb4U/zy8dKrhaBQxYpVcXarDsInpPd6LY2BfouB+w4FR1wMwbb1SpCGuj 1S5OgEVl12/x1t60ok16ZO4Ss+kbF5XE9mD9lVJk/+dQH4eCIiEqQePygoT0CTwkN0h7 cL2dC6CO8Sj3fbkt9TYkHnbndIaH0S9tUYT0EIvFHZMHDwrxJt70j2QJpd56Hunj2l3f bwEBVCW7rLNYwL3uVxkCwFB9sMUCPT8sgmMqtb2ISh3wBx5KE6xvPWUtK3ZlA9/Xxeu/ sJPw== Sender: lojban@googlegroups.com X-Gm-Message-State: ALyK8tIAB0jxJq5pVDVPVqI+X1uEBWDncGBpJ5oQbtAzdR4lTqmfgvUL77T8OMtJQ8G4xA== X-Received: by 10.157.34.202 with SMTP id y68mr523672ota.4.1466912545082; Sat, 25 Jun 2016 20:42:25 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.157.34.200 with SMTP id y66ls8063707ota.26.gmail; Sat, 25 Jun 2016 20:42:24 -0700 (PDT) X-Received: by 10.129.50.129 with SMTP id y123mr11015117ywy.17.1466912544491; Sat, 25 Jun 2016 20:42:24 -0700 (PDT) Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236]) by gmr-mx.google.com with ESMTPS id un17si1683875pab.0.2016.06.25.20.42.24 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 25 Jun 2016 20:42:24 -0700 (PDT) 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; Received: from rlpowell by stodi.digitalkingdom.org with local (Exim 4.86) (envelope-from ) id 1bH0xj-0007XI-GZ for lojban@googlegroups.com; Sat, 25 Jun 2016 20:42:23 -0700 Date: Sat, 25 Jun 2016 20:42:23 -0700 From: Robin Lee Powell To: lojban@googlegroups.com Subject: [lojban] CLL question: customizable elements? Message-ID: <20160626034223.GF28155@stodi.digitalkingdom.org> Mail-Followup-To: lojban@googlegroups.com MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline User-Agent: Mutt/1.5.24 (2015-08-30) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.236 as permitted sender) smtp.mailfrom=rlpowell@digitalkingdom.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban@googlegroups.com X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - So the topic is if people want to make visual representation changes to the CLL. If you're not likely to want to do that (i.e. you're not comfortable with HTML + CSS), you can stop here. If the "role=" in docbook is passed to the "class=" attribute in the final HTML, then visual customization is trivial: you just change the CSS to do whatever you want to the classes you want, as I showed you examples of. The problem is that, by default, "role=" only turns into "class=" on a few docbook elements: emphasis, entry, para, and phrase This can be worked around in various ways; for example, you could add a blank paragraph with the role you want just before the thing you want to manipulate, and then use CSS to match, say, "

followed by

", but that's kind of eww. The other option is to modify the XML generation such that if you do , then the resulting HTML becomes
instead of
This is a very easy modification for me to make. The result would be that for every element I so modify, *anybody* could easily change their visual representation by adding a role= and making a simple change to the CSS; the whole point is that I wouldn't have to be involved after that. An obvious target here is , so I'm going to do that, but I would like to make such changes exactly once (so that I have to run diff_official as few times as possible (that's the thing I use to validate that nothing of importance was changed except what we wanted)). So, can people please suggest which elements they'd like to be so customizable? The list of all docbook elements is at http://www.docbook.org/tdg5/en/html/chunk-part-d64e8789.html , and the CLL in docbook-normalized format is it http://vrici.lojban.org/~rlpowell/media/public/cll_processed_xhtml-2016-06-25.xml -- 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 https://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout.