DJ
01/25/2022, 10:06 PMIgnat Beresnev
01/26/2022, 9:00 AM<head>
part? This is how we construct html pages: HtmRenderer. If you had an extension point that allows you to add additional head tags, would that be enough?
At the moment, there's very little html customization available to plugins (only some static substitutions like the logo or footer text). We'd like to implement some sort of html templates so that plugins could heavily customize rendered html pages, but there's no ETA on this yetDJ
01/26/2022, 1:05 PMpage.title
(which is used in the title head element) as I am not very familiar with dokka internal models.
Better templating support sounds awesome to me, but I understand how that would be a big undertaking.Ignat Beresnev
01/26/2022, 2:08 PM