Tutorial: trying to fix css

cvc5 · Jul 3, 2024 · 0721020 · 0721020
1 parent 2572400
commit 0721020
Show file tree

Hide file tree

Showing 39 changed files with 11 additions and 11 deletions.
diff --git a/tutorials/beginners/index.html b/tutorials/beginners/index.html
@@ -5,23 +5,23 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <title>Satisfiability Modulo Theories: A Beginner’s Tutorial &mdash; Satisfiability Modulo Theories: A Beginner&#39;s Tutorial  documentation</title>
-      <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
-      <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
-      <link rel="stylesheet" type="text/css" href="_static/tabs.css?v=a5c4661c" />
-      <link rel="stylesheet" type="text/css" href="_static/custom.css?v=b9602cbe" />
+      <link rel="stylesheet" type="text/css" href="static/pygments.css?v=80d5e7a1" />
+      <link rel="stylesheet" type="text/css" href="static/css/theme.css?v=19f00094" />
+      <link rel="stylesheet" type="text/css" href="static/tabs.css?v=a5c4661c" />
+      <link rel="stylesheet" type="text/css" href="static/custom.css?v=b9602cbe" />
 
 
   <!--[if lt IE 9]>
-    <script src="_static/js/html5shiv.min.js"></script>
+    <script src="static/js/html5shiv.min.js"></script>
   <![endif]-->
 
-        <script src="_static/jquery.js?v=5d32c60e"></script>
-        <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script src="_static/documentation_options.js?v=5929fcd5"></script>
-        <script src="_static/doctools.js?v=9a2dae69"></script>
-        <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
+        <script src="static/jquery.js?v=5d32c60e"></script>
+        <script src="static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
+        <script src="static/documentation_options.js?v=5929fcd5"></script>
+        <script src="static/doctools.js?v=9a2dae69"></script>
+        <script src="static/sphinx_highlight.js?v=dc90522c"></script>
         <script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
-    <script src="_static/js/theme.js"></script>
+    <script src="static/js/theme.js"></script>
     <link rel="index" title="Index" href="genindex.html" />
     <link rel="search" title="Search" href="search.html" />
     <link rel="next" title="Introduction" href="introduction.html" /> 

diff --git a/...c/_sphinx_javascript_frameworks_compat.js → ...c/_sphinx_javascript_frameworks_compat.js b/...c/_sphinx_javascript_frameworks_compat.js → ...c/_sphinx_javascript_frameworks_compat.js
diff --git a/tutorials/beginners/_static/basic.css → tutorials/beginners/static/basic.css b/tutorials/beginners/_static/basic.css → tutorials/beginners/static/basic.css
diff --git a/...ials/beginners/_static/css/badge_only.css → ...rials/beginners/static/css/badge_only.css b/...ials/beginners/_static/css/badge_only.css → ...rials/beginners/static/css/badge_only.css
diff --git a/...s/_static/css/fonts/Roboto-Slab-Bold.woff → ...rs/static/css/fonts/Roboto-Slab-Bold.woff b/...s/_static/css/fonts/Roboto-Slab-Bold.woff → ...rs/static/css/fonts/Roboto-Slab-Bold.woff
diff --git a/.../_static/css/fonts/Roboto-Slab-Bold.woff2 → ...s/static/css/fonts/Roboto-Slab-Bold.woff2 b/.../_static/css/fonts/Roboto-Slab-Bold.woff2 → ...s/static/css/fonts/Roboto-Slab-Bold.woff2
diff --git a/...static/css/fonts/Roboto-Slab-Regular.woff → ...static/css/fonts/Roboto-Slab-Regular.woff b/...static/css/fonts/Roboto-Slab-Regular.woff → ...static/css/fonts/Roboto-Slab-Regular.woff
diff --git a/...tatic/css/fonts/Roboto-Slab-Regular.woff2 → ...tatic/css/fonts/Roboto-Slab-Regular.woff2 b/...tatic/css/fonts/Roboto-Slab-Regular.woff2 → ...tatic/css/fonts/Roboto-Slab-Regular.woff2
diff --git a/..._static/css/fonts/fontawesome-webfont.eot → .../static/css/fonts/fontawesome-webfont.eot b/..._static/css/fonts/fontawesome-webfont.eot → .../static/css/fonts/fontawesome-webfont.eot
diff --git a/..._static/css/fonts/fontawesome-webfont.svg → .../static/css/fonts/fontawesome-webfont.svg b/..._static/css/fonts/fontawesome-webfont.svg → .../static/css/fonts/fontawesome-webfont.svg
diff --git a/..._static/css/fonts/fontawesome-webfont.ttf → .../static/css/fonts/fontawesome-webfont.ttf b/..._static/css/fonts/fontawesome-webfont.ttf → .../static/css/fonts/fontawesome-webfont.ttf
diff --git a/...static/css/fonts/fontawesome-webfont.woff → ...static/css/fonts/fontawesome-webfont.woff b/...static/css/fonts/fontawesome-webfont.woff → ...static/css/fonts/fontawesome-webfont.woff
diff --git a/...tatic/css/fonts/fontawesome-webfont.woff2 → ...tatic/css/fonts/fontawesome-webfont.woff2 b/...tatic/css/fonts/fontawesome-webfont.woff2 → ...tatic/css/fonts/fontawesome-webfont.woff2
diff --git a/...s/_static/css/fonts/lato-bold-italic.woff → ...rs/static/css/fonts/lato-bold-italic.woff b/...s/_static/css/fonts/lato-bold-italic.woff → ...rs/static/css/fonts/lato-bold-italic.woff
diff --git a/.../_static/css/fonts/lato-bold-italic.woff2 → ...s/static/css/fonts/lato-bold-italic.woff2 b/.../_static/css/fonts/lato-bold-italic.woff2 → ...s/static/css/fonts/lato-bold-italic.woff2
diff --git a/...eginners/_static/css/fonts/lato-bold.woff → ...beginners/static/css/fonts/lato-bold.woff b/...eginners/_static/css/fonts/lato-bold.woff → ...beginners/static/css/fonts/lato-bold.woff
diff --git a/...ginners/_static/css/fonts/lato-bold.woff2 → ...eginners/static/css/fonts/lato-bold.woff2 b/...ginners/_static/css/fonts/lato-bold.woff2 → ...eginners/static/css/fonts/lato-bold.woff2
diff --git a/..._static/css/fonts/lato-normal-italic.woff → .../static/css/fonts/lato-normal-italic.woff b/..._static/css/fonts/lato-normal-italic.woff → .../static/css/fonts/lato-normal-italic.woff
diff --git a/...static/css/fonts/lato-normal-italic.woff2 → ...static/css/fonts/lato-normal-italic.woff2 b/...static/css/fonts/lato-normal-italic.woff2 → ...static/css/fonts/lato-normal-italic.woff2
diff --git a/...inners/_static/css/fonts/lato-normal.woff → ...ginners/static/css/fonts/lato-normal.woff b/...inners/_static/css/fonts/lato-normal.woff → ...ginners/static/css/fonts/lato-normal.woff
diff --git a/...nners/_static/css/fonts/lato-normal.woff2 → ...inners/static/css/fonts/lato-normal.woff2 b/...nners/_static/css/fonts/lato-normal.woff2 → ...inners/static/css/fonts/lato-normal.woff2
diff --git a/tutorials/beginners/_static/css/theme.css → tutorials/beginners/static/css/theme.css b/tutorials/beginners/_static/css/theme.css → tutorials/beginners/static/css/theme.css
diff --git a/tutorials/beginners/_static/custom.css → tutorials/beginners/static/custom.css b/tutorials/beginners/_static/custom.css → tutorials/beginners/static/custom.css
diff --git a/tutorials/beginners/_static/doctools.js → tutorials/beginners/static/doctools.js b/tutorials/beginners/_static/doctools.js → tutorials/beginners/static/doctools.js
diff --git a/...eginners/_static/documentation_options.js → ...beginners/static/documentation_options.js b/...eginners/_static/documentation_options.js → ...beginners/static/documentation_options.js
diff --git a/tutorials/beginners/_static/file.png → tutorials/beginners/static/file.png b/tutorials/beginners/_static/file.png → tutorials/beginners/static/file.png
diff --git a/tutorials/beginners/_static/jquery.js → tutorials/beginners/static/jquery.js b/tutorials/beginners/_static/jquery.js → tutorials/beginners/static/jquery.js
diff --git a/tutorials/beginners/_static/js/badge_only.js → tutorials/beginners/static/js/badge_only.js b/tutorials/beginners/_static/js/badge_only.js → tutorials/beginners/static/js/badge_only.js
diff --git a/...ers/_static/js/html5shiv-printshiv.min.js → ...ners/static/js/html5shiv-printshiv.min.js b/...ers/_static/js/html5shiv-printshiv.min.js → ...ners/static/js/html5shiv-printshiv.min.js
diff --git a/...als/beginners/_static/js/html5shiv.min.js → ...ials/beginners/static/js/html5shiv.min.js b/...als/beginners/_static/js/html5shiv.min.js → ...ials/beginners/static/js/html5shiv.min.js
diff --git a/tutorials/beginners/_static/js/theme.js → tutorials/beginners/static/js/theme.js b/tutorials/beginners/_static/js/theme.js → tutorials/beginners/static/js/theme.js
diff --git a/tutorials/beginners/_static/language_data.js → tutorials/beginners/static/language_data.js b/tutorials/beginners/_static/language_data.js → tutorials/beginners/static/language_data.js
diff --git a/tutorials/beginners/_static/minus.png → tutorials/beginners/static/minus.png b/tutorials/beginners/_static/minus.png → tutorials/beginners/static/minus.png
diff --git a/tutorials/beginners/_static/plus.png → tutorials/beginners/static/plus.png b/tutorials/beginners/_static/plus.png → tutorials/beginners/static/plus.png
diff --git a/tutorials/beginners/_static/pygments.css → tutorials/beginners/static/pygments.css b/tutorials/beginners/_static/pygments.css → tutorials/beginners/static/pygments.css
diff --git a/tutorials/beginners/_static/searchtools.js → tutorials/beginners/static/searchtools.js b/tutorials/beginners/_static/searchtools.js → tutorials/beginners/static/searchtools.js
diff --git a/...als/beginners/_static/sphinx_highlight.js → ...ials/beginners/static/sphinx_highlight.js b/...als/beginners/_static/sphinx_highlight.js → ...ials/beginners/static/sphinx_highlight.js
diff --git a/tutorials/beginners/_static/tabs.css → tutorials/beginners/static/tabs.css b/tutorials/beginners/_static/tabs.css → tutorials/beginners/static/tabs.css
diff --git a/tutorials/beginners/_static/tabs.js → tutorials/beginners/static/tabs.js b/tutorials/beginners/_static/tabs.js → tutorials/beginners/static/tabs.js