mirror of
https://git.savannah.gnu.org/git/gnuboot.git
synced 2025-01-13 19:06:47 +01:00
421d92fd24
The CSS is light enough now that, in terms of compression, it makes more sense to merge it in each HTML page. It's small enough to make virtually no difference, and this cuts down on HTTP requests. This change will save literally seconds of time, for those who are on high latency internet services (satellite based internet services, slow tor relays, etc).
117 lines
2.5 KiB
Text
117 lines
2.5 KiB
Text
<!DOCTYPE html>
|
||
<html$if(lang)$ lang="$lang$"$endif$$if(dir)$ dir="$dir$"$endif$>
|
||
<head>
|
||
<meta charset="utf-8">
|
||
<meta name="generator" content="pandoc">
|
||
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
|
||
$for(author-meta)$
|
||
<meta name="author" content="$author-meta$">
|
||
$endfor$
|
||
$if(date-meta)$
|
||
<meta name="dcterms.date" content="$date-meta$">
|
||
$endif$
|
||
$if(keywords)$
|
||
<meta name="keywords" content="$for(keywords)$$keywords$$sep$, $endfor$">
|
||
$endif$
|
||
<title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>
|
||
<style type="text/css">
|
||
.date,.author,.h a{display:none}
|
||
html{padding:1em}
|
||
body{
|
||
font:1em sans-serif;
|
||
line-height:1.4
|
||
}
|
||
a{color:#22d}
|
||
code,pre,#TOC,a:hover{background:#eee}
|
||
:not(p) {
|
||
max-width:60em;
|
||
margin:0 auto
|
||
}
|
||
.title>*, header ul>li, .nav ul>li,
|
||
#footer ul>li, .h:hover>*, pre, table
|
||
{
|
||
display:inline;
|
||
margin:.7%;
|
||
text-align:center
|
||
}
|
||
.title>*{display:block}
|
||
</style>
|
||
$if(quotes)$
|
||
<style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
|
||
$endif$
|
||
$if(highlighting-css)$
|
||
<style type="text/css">
|
||
$highlighting-css$
|
||
</style>
|
||
$endif$
|
||
$for(css)$
|
||
<link rel="stylesheet" href="$css$">
|
||
$endfor$
|
||
$if(math)$
|
||
$math$
|
||
$endif$
|
||
$for(header-includes)$
|
||
$header-includes$
|
||
$endfor$
|
||
<link rel="alternate" type="application/rss+xml" title="RSS Feed" href="/feed.xml"/>
|
||
</head>
|
||
<body>
|
||
<div class="page">
|
||
$for(include-before)$
|
||
$include-before$
|
||
$endfor$
|
||
$if(title)$
|
||
<header>
|
||
<div class="title">
|
||
<p class="title-logo">
|
||
<img class="title-logo" alt="" src="https://av.libreboot.org/logo/sl.png" />
|
||
</p>
|
||
<h1 class="title">$title$</h1>
|
||
</div>
|
||
$if(subtitle)$
|
||
<p class="subtitle">$subtitle$</p>
|
||
$endif$
|
||
$for(author)$
|
||
<p class="author">$author$</p>
|
||
$endfor$
|
||
$if(date)$
|
||
<p class="date">$date$</p>
|
||
$endif$
|
||
<ul>
|
||
<li><a href="/">Home</a></li>
|
||
<li><a href="/faq.html">FAQ</a></li>
|
||
<li><a href="/download.html">Download</a></li>
|
||
<li><a href="/docs/install/">Install</a></li>
|
||
<li><a href="/docs/">Docs</a></li>
|
||
<li><a href="/news/">News</a></li>
|
||
<li><a href="https://notabug.org/libreboot/lbmk/issues">Bugs</a></li>
|
||
<li><a href="/tasks/">TODO</a></li>
|
||
<li><a href="/git.html">Send patch</a></li>
|
||
<li><a href="/contact.html">Contact</a></li>
|
||
<li><a href="/suppliers.html">Buy preinstalled</a></li>
|
||
</ul>
|
||
<hr/>
|
||
</header>
|
||
$endif$
|
||
$if(return)$
|
||
$return$
|
||
$endif$
|
||
$if(toc)$
|
||
<nav id="$idprefix$TOC">
|
||
<h1>Navigate this page:</h1>
|
||
$toc$
|
||
</nav>
|
||
$endif$
|
||
$if(toc)$
|
||
<div class="pagetext">
|
||
$endif$
|
||
$body$
|
||
$for(include-after)$
|
||
$include-after$
|
||
$endfor$
|
||
$if(toc)$
|
||
</div>
|
||
$endif$
|
||
</div>
|
||
</body>
|
||
</html>
|