cortav  Check-in [bdd8d569a9]

Overview
Comment:tweak headers
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: bdd8d569a9fa092db2c7e500b1f2878baf0a36c56204c16584465b7c0fb59172
User & Date: lexi on 2021-12-20 00:40:23
Other Links: manifest | tags
Context
2021-12-20
14:10
add weak modes that can be overridden by pragma check-in: c15ffd5fef user: lexi tags: trunk
00:40
tweak headers check-in: bdd8d569a9 user: lexi tags: trunk
00:14
error improvements, sirsem bug fix check-in: 709518a06e user: lexi tags: trunk
Changes

Modified cortav.lua from [e2f30c819c] to [19e0c83304].

   208    208   		lisp = { color = 0x77ff88 };
   209    209   		fortran = { color = 0xff779a };
   210    210   		python = { color = 0xffd277 };
   211    211   		python = { color = 0xcdd6ff };
   212    212   	}
   213    213   
   214    214   	local stylesets = {
          215  +		header = [[
          216  +			h1 { font-size: 200%; border-bottom-style: double !important; border-bottom-width: 3px !important; }
          217  +			h2 { font-size: 130%; }
          218  +			h3 { font-size: 110%; }
          219  +			h4 { font-size: 100%; font-weight: normal; }
          220  +			h5 { font-size: 90%; font-weight: normal; }
          221  +			h6 { font-size: 80%; font-weight: normal; }
          222  +			h3, h4, h5, h6 { border-bottom-style: dotted !important; }
          223  +		]];
   215    224   		accent = [[
   216    225   			body { background: @bg; color: @fg }
   217    226   			a[href] {
   218    227   				color: @tone(0.7 30);
   219    228   				text-decoration-color: @tone/0.4(0.7 30);
   220    229   			}
   221    230   			a[href]:hover {
   222    231   				color: @tone(0.9 30);
   223    232   				text-decoration-color: @tone/0.7(0.7 30);
   224    233   			}
   225         -			h1,h2,h3,h4,h5,h6 {
   226         -				color: @tone(2);
   227         -				border-bottom: 1px solid @tone(0.7);
   228         -			}
          234  +			h1,h2,h3,h4,h5,h6 { border-bottom: 1px solid @tone(0.7); }
          235  +			h1 { color: @tone(2); }
          236  +			h2 { color: @tone(1.5); }
          237  +			h3 { color: @tone(1.2); }
          238  +			h4 { color: @tone(1); }
          239  +			h5,h6 { color: @tone(0.8); }
   229    240   		]];
   230    241   		code = [[
   231    242   			code {
   232    243   				background: @fg;
   233    244   				color: @bg;
   234    245   				font-family: monospace;
   235    246   				font-size: 90%;
................................................................................
   444    455   					if not opts.title then doctitle = args end
   445    456   				elseif b.critical then
   446    457   					b.origin:fail('critical HTML renderer directive ā€œ%sā€ not supported', cmd)
   447    458   				end
   448    459   			end;
   449    460   			label = function(b,s)
   450    461   				if ct.sec.is(b.captions) then
          462  +					if not (opts['fossil-uv'] or opts.snippet) then
          463  +						stylesNeeded.header = true
          464  +					end
   451    465   					local h = math.min(6,math.max(1,b.captions.depth))
   452    466   					return tag(f('h%u',h), nil, sr.htmlSpan(b.spans, b, s), b)
   453    467   				else
   454    468   					-- handle other uses of labels here
   455    469   				end
   456    470   			end;
   457    471   			['list-item'] = function(b,s)