@@ -211,8 +211,17 @@ python = { color = 0xcdd6ff }; } local stylesets = { + header = [[ + h1 { font-size: 200%; border-bottom-style: double !important; border-bottom-width: 3px !important; } + h2 { font-size: 130%; } + h3 { font-size: 110%; } + h4 { font-size: 100%; font-weight: normal; } + h5 { font-size: 90%; font-weight: normal; } + h6 { font-size: 80%; font-weight: normal; } + h3, h4, h5, h6 { border-bottom-style: dotted !important; } + ]]; accent = [[ body { background: @bg; color: @fg } a[href] { color: @tone(0.7 30); @@ -221,12 +230,14 @@ a[href]:hover { color: @tone(0.9 30); text-decoration-color: @tone/0.7(0.7 30); } - h1,h2,h3,h4,h5,h6 { - color: @tone(2); - border-bottom: 1px solid @tone(0.7); - } + h1,h2,h3,h4,h5,h6 { border-bottom: 1px solid @tone(0.7); } + h1 { color: @tone(2); } + h2 { color: @tone(1.5); } + h3 { color: @tone(1.2); } + h4 { color: @tone(1); } + h5,h6 { color: @tone(0.8); } ]]; code = [[ code { background: @fg; @@ -447,8 +458,11 @@ end end; label = function(b,s) if ct.sec.is(b.captions) then + if not (opts['fossil-uv'] or opts.snippet) then + stylesNeeded.header = true + end local h = math.min(6,math.max(1,b.captions.depth)) return tag(f('h%u',h), nil, sr.htmlSpan(b.spans, b, s), b) else -- handle other uses of labels here