Skip to content

Commit 814cf72

Browse files
Deploy preview for PR 119
1 parent eea3823 commit 814cf72

File tree

25 files changed

+142
-233
lines changed

25 files changed

+142
-233
lines changed

pr-previews/119/404.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -42,9 +42,9 @@
4242
<link href="/site_libs/quarto-html/quarto-syntax-highlighting-234273d1456647dabc34a594ac50e507.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
4343
<script src="/site_libs/bootstrap/bootstrap.min.js"></script>
4444
<link href="/site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
45-
<link href="/site_libs/bootstrap/bootstrap-e3c63af175d9704469b982fbb708803b.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
46-
<link href="/site_libs/bootstrap/bootstrap-dark-37316d2ad54d0b9c8a7305a72ddb2b73.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
47-
<link href="/site_libs/bootstrap/bootstrap-e3c63af175d9704469b982fbb708803b.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
45+
<link href="/site_libs/bootstrap/bootstrap-82a5d053dcc4a210fc586dada4915a22.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
46+
<link href="/site_libs/bootstrap/bootstrap-dark-2f3aa3b13ec983493c5cad3f360233b7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
47+
<link href="/site_libs/bootstrap/bootstrap-82a5d053dcc4a210fc586dada4915a22.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
4848
<script id="quarto-search-options" type="application/json">{
4949
"location": "navbar",
5050
"copy-button": false,

pr-previews/119/index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -45,9 +45,9 @@
4545
<link href="site_libs/quarto-html/quarto-syntax-highlighting-234273d1456647dabc34a594ac50e507.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
4646
<script src="site_libs/bootstrap/bootstrap.min.js"></script>
4747
<link href="site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
48-
<link href="site_libs/bootstrap/bootstrap-e3c63af175d9704469b982fbb708803b.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
49-
<link href="site_libs/bootstrap/bootstrap-dark-37316d2ad54d0b9c8a7305a72ddb2b73.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
50-
<link href="site_libs/bootstrap/bootstrap-e3c63af175d9704469b982fbb708803b.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
48+
<link href="site_libs/bootstrap/bootstrap-82a5d053dcc4a210fc586dada4915a22.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
49+
<link href="site_libs/bootstrap/bootstrap-dark-2f3aa3b13ec983493c5cad3f360233b7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
50+
<link href="site_libs/bootstrap/bootstrap-82a5d053dcc4a210fc586dada4915a22.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
5151
<script id="quarto-search-options" type="application/json">{
5252
"location": "navbar",
5353
"copy-button": false,

pr-previews/119/library/index.html

Lines changed: 3 additions & 54 deletions
Original file line numberDiff line numberDiff line change
@@ -44,9 +44,9 @@
4444
<link href="../site_libs/quarto-html/quarto-syntax-highlighting-234273d1456647dabc34a594ac50e507.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
4545
<script src="../site_libs/bootstrap/bootstrap.min.js"></script>
4646
<link href="../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
47-
<link href="../site_libs/bootstrap/bootstrap-e3c63af175d9704469b982fbb708803b.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
48-
<link href="../site_libs/bootstrap/bootstrap-dark-37316d2ad54d0b9c8a7305a72ddb2b73.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
49-
<link href="../site_libs/bootstrap/bootstrap-e3c63af175d9704469b982fbb708803b.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
47+
<link href="../site_libs/bootstrap/bootstrap-82a5d053dcc4a210fc586dada4915a22.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
48+
<link href="../site_libs/bootstrap/bootstrap-dark-2f3aa3b13ec983493c5cad3f360233b7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
49+
<link href="../site_libs/bootstrap/bootstrap-82a5d053dcc4a210fc586dada4915a22.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
5050
<script id="quarto-search-options" type="application/json">{
5151
"location": "navbar",
5252
"copy-button": false,
@@ -336,57 +336,6 @@
336336
"url" : "https://turinglang.org/",
337337
}
338338
</script>
339-
<style>
340-
/* links */
341-
a { text-decoration: none; }
342-
a:hover { text-decoration: underline; }
343-
</style>
344-
345-
<style>
346-
/* responsive wrapper */
347-
.table-responsive {
348-
overflow-x: auto;
349-
margin-bottom: 1rem;
350-
}
351-
352-
/* default (light-mode) table styling */
353-
.packages-table {
354-
width: 100%;
355-
border-collapse: collapse;
356-
background-color: #ffffff;
357-
color: #212529;
358-
}
359-
.packages-table th,
360-
.packages-table td {
361-
padding: 0.75rem 1rem;
362-
text-align: left;
363-
border-bottom: 1px solid #eee;
364-
}
365-
.packages-table thead {
366-
background-color: #f8f8f8;
367-
}
368-
.packages-table tbody tr:nth-child(odd) {
369-
background-color: #fafafa;
370-
}
371-
.packages-table tbody tr:hover {
372-
background-color: #eef9ff;
373-
}
374-
.packages-table th {
375-
font-weight: 600;
376-
}
377-
378-
/* deprecated badge */
379-
.badge.deprecated {
380-
display: inline-block;
381-
margin-left: 0.5em;
382-
padding: 0.2em 0.4em;
383-
font-size: 0.75em;
384-
font-weight: 600;
385-
color: #721c24;
386-
background-color: #f8d7da;
387-
border-radius: 0.2em;
388-
}
389-
</style>
390339

391340
<script src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script>
392341
<script src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml-full.js" type="text/javascript"></script>

0 commit comments

Comments
 (0)