hacklab/strudel
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

codeformat

Browse source
This commit is contained in:
alex 2025-06-15 08:03:23 +01:00
parent 489d3f8d4d
commit bebbe30b50
2 changed files with 975 additions and 856 deletions
Download patch file Download diff file Expand all files Collapse all files

1696
docs/iclc2023-paper/iclc2023.html
View file

File diff suppressed because it is too large Load diff

135
docs/iclc2023-paper/pandoc/iclc.html
View file

@ -1,80 +1,63 @@
$if(false)$ $if(false)$ This is a pandoc template and should not be edited. $endif$
This is a pandoc template and should not be edited.
$endif$
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml"$if(lang)$ lang="$lang$" xml:lang="$lang$"$endif$> <html xmlns="http://www.w3.org/1999/xhtml" $if(lang)$ lang="$lang$" xml:lang="$lang$" $endif$>
<head> <head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta http-equiv="Content-Style-Type" content="text/css" /> <meta http-equiv="Content-Style-Type" content="text/css" />
<meta name="generator" content="pandoc" /> <meta name="generator" content="pandoc" />
$for(author-meta)$ $for(author-meta)$
<meta name="author" content="$author-meta$" /> <meta name="author" content="$author-meta$" />
$endfor$ $endfor$ $if(date-meta)$
$if(date-meta)$ <meta name="date" content="$date-meta$" />
<meta name="date" content="$date-meta$" /> $endif$
$endif$ <title>$if(title-prefix)$$title-prefix$ - $endif$$pagetitle$</title>
<title>$if(title-prefix)$$title-prefix$ - $endif$$pagetitle$</title> <style type="text/css">
<style type="text/css">code{white-space: pre;}</style> code {
$if(quotes)$ white-space: pre;
<style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style> }
$endif$ </style>
$if(highlighting-css)$ $if(quotes)$
<style type="text/css"> <style type="text/css">
$highlighting-css$ q {
</style> quotes: '“' '”' '‘' '’';
$endif$ }
<link rel="stylesheet" href="css/iclc.css" $if(html5)$$else$type="text/css" $endif$/> </style>
$for(css)$ $endif$ $if(highlighting-css)$
<link rel="stylesheet" href="$css$" $if(html5)$$else$type="text/css" $endif$/> <style type="text/css">
$endfor$ $highlighting-css$
$if(math)$ </style>
$math$ $endif$
$endif$ <link rel="stylesheet" href="css/iclc.css" $if(html5)$$else$type="text/css" $endif$ />
$for(header-includes)$ $for(css)$
$header-includes$ <link rel="stylesheet" href="$css$" $if(html5)$$else$type="text/css" $endif$ />
$endfor$ $endfor$ $if(math)$ $math$ $endif$ $for(header-includes)$ $header-includes$ $endfor$
</head> </head>
<body> <body>
$for(include-before)$ $for(include-before)$ $include-before$ $endfor$ $if(title)$
$include-before$ <div id="$idprefix$header">
$endfor$ <h1 class="title">$title$</h1>
$if(title)$ $if(subtitle)$
<div id="$idprefix$header"> <h1 class="subtitle">$subtitle$</h1>
<h1 class="title">$title$</h1> $endif$
$if(subtitle)$ <ul id="authorlist">
<h1 class="subtitle">$subtitle$</h1> $for(author)$
$endif$ <li>$author$</li>
<ul id="authorlist"> $endfor$
$for(author)$ </ul>
<li>$author$</li> $if(date)$
$endfor$ <h3 class="date">$date$</h3>
</ul> $endif$
$if(date)$ </div>
<h3 class="date">$date$</h3> $endif$ $if(toc)$
$endif$ <div id="$idprefix$TOC">$toc$</div>
</div> $endif$
$endif$
$if(toc)$
<div id="$idprefix$TOC">
$toc$
</div>
$endif$
<h2 class="abstract">Abstract</h2> <h2 class="abstract">Abstract</h2>
<div id="abstract"> <div id="abstract">
$if(abstract)$ $if(abstract)$ $abstract$ $else$ Please provide an abstract in the metadata block at the top of your markdown
$abstract$ document. Refer to template.txt for details. $endif$
$else$ </div>
Please provide an abstract in the metadata block at the top of your
markdown document. Refer to template.txt for details.
$endif$
</div>
$body$ $body$ $for(include-after)$ $include-after$ $endfor$
$for(include-after)$ </body>
$include-after$
$endfor$
</body>
</html> </html>