gtheler
/
pipe-linearized


			
				
					
						
						
							
							<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" lang="$lang$" xml:lang="$lang$"$if(dir)$ dir="$dir$"$endif$>
<head>
  <meta charset="utf-8">
  <meta name="viewport" content="width=device-width, initial-scale=1">
  <meta name="description" content="">
$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>
$if(fontfamily_html)$  
  <link href="https://fonts.googleapis.com/css?family=$fontfamily_html$" rel="stylesheet"> 
$endif$  
  <link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.1.3/css/bootstrap.min.css" integrity="sha384-MCw98/SFnGE8fJT3GXwEOngsV7Zt27NXFoaoApmYm81iuXoPkFOJwJ8ERdknLPMO" crossorigin="anonymous">
  <link href='https://fonts.googleapis.com/css?family=Libre+Baskerville' rel='stylesheet' type='text/css'>
  <style type="text/css">
body {
 font-family: "Libre Baskerville", serif;
 hyphens: auto;
}
img {
 max-width: 100%;
}

@media (min-width: 768px) {
  h1 { font-size: 1.75rem; }
  h2 { font-size: 1.60rem; }
  h3 { font-size: 1.40rem; }
  h4 { font-size: 1.20rem; }
  h5 { font-size: 1.10rem; }
  h6 { font-size: 1.00rem; }
}

@media (max-width: 768px) {
  h1 { font-size: 1.35rem; }
  h2 { font-size: 1.25rem; }
  h3 { font-size: 1.10rem; }
  h4 { font-size: 1.10rem; }
  h5 { font-size: 1.00rem; }
  h6 { font-size: 1.00rem; }
}
 
 
code {
  padding: .2rem .5rem;
  white-space: nowrap;
  background: #F1F1F1;
  border: 1px solid #E1E1E1;
  border-radius: 4px; }
pre > code {
  display: block;
  white-space: pre; }
      
      code{white-space: pre-wrap;}
      span.smallcaps{font-variant: small-caps;}
      span.underline{text-decoration: underline;}
      div.column{display: inline-block; vertical-align: top; width: 50%;}
$if(quotes)$
      q { quotes: "“" "”" "‘" "’"; }
$endif$
  </style>
$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$
</head>
<body>
$for(include-before)$
$include-before$
$endfor$
<div class="container">
 <div class="row">
  <div class="col text-center">
$if(title)$
    <h1>$title$</h1>
    $if(subtitle)$
    <h2><em>$subtitle$</em></h2>
    $endif$
    $for(author)$
    <p class="lead">
     $author$$if(reviewer)$, $reviewer$$endif$$if(releaser)$, $releaser$$endif$
    </p>
    $endfor$
    $if(date)$
    <p class="lead">$date$
    $if(rev)$&mdash;rev.&nbsp;$rev$$endif$
    $if(hash)$&mdash;<code>$hash$</code>$endif$
    </p>
    $endif$
    $if(docnumber)$
    <p class="lead"><a href="$docnumber$.pdf" target="_blank">PDF version</a></p>
    $endif$
    $if(abstract)$
    <h3 class="text-center">Abstract</h3>
    <p class="text-justify">$abstract$</p>
    $endif$
<hr>
$endif$
</div>
</div>
<div class="row">
<div class="col">
$if(toc)$
<nav id="$idprefix$TOC">
<h1>Table of Contents</h1>
$table-of-contents$
</nav>
$endif$
$body$
</div>
</div>
</div>
$for(include-after)$
$include-after$
$endfor$
</body>
</html>