cortav  Diff

Differences From Artifact [35b47400ac]:

To Artifact [c1f1be8e43]:


            1  +-- [ʞ] render/html.lua
            2  +--  ~ lexi hale <lexi@hale.su>
            3  +--  🄯 AGPLv3
            4  +--  ? renders cortav to beautiful, highly customizable
            5  +--    webpages full of css trickery to make them look
            6  +--    good both on a screen and when printed.
            7  +--  > cortav -m render:format html
            8  +
     1      9   local ct = require 'cortav'
     2     10   local ss = require 'sirsem'
     3     11   
     4     12   -- install rendering function for html
     5     13   function ct.render.html(doc, opts)
     6     14   	local doctitle = opts['title']
     7     15   	local f = string.format
................................................................................
   298    306   		abbr = [[
   299    307   			abbr[title] { cursor: help; }
   300    308   		]];
   301    309   		editors_markup = [[]];
   302    310   		block_code_listing = [[
   303    311   			figure.listing {
   304    312   				font-family: monospace;
          313  +				font-size: 85%;
   305    314   				background: @tone(0.05 20);
   306    315   				color: @tone(1 20);
   307    316   				padding: 0;
   308    317   				margin: 0.3em 0;
   309    318   				counter-reset: line-number;
   310    319   				position: relative;
   311    320   				border: 1px solid @tone(1 20);