ClickHouse/website/templates/common_css.html

<link href="/css/base.css?css_digest" media="all" rel="stylesheet" />

{% for src in extra_css %}
<link href="{{ src }}" media="all" rel="stylesheet" />
{% endfor %}
Custom mkdocs theme (#9874) 2020-03-30 08:25:29 +00:00			`<link href="/css/base.css?css_digest" media="all" rel="stylesheet" />`
[website] get rid of remnants of old markup (from benchmark pages) (#10412) * rm outdated nginx config * get rid of most outdated markup of benchmark.html * reformat js * get rid of ru comments + wrap benchmark.js in a function call * split benchmark results into separate files * adjust links to benchmarks * refactor hardware benchmarks as well * adjust links * fix filtering for hardware * additional markup tuning 2020-04-22 11:30:33 +00:00
			`{% for src in extra_css %}`
			`<link href="{{ src }}" media="all" rel="stylesheet" />`
			`{% endfor %}`