build based on (not-git-repo)

marius311 · Sep 12, 2023 · ab2d033 · ab2d033
1 parent 840a976
commit ab2d033
Show file tree

Hide file tree

Showing 1,152 changed files with 650,039 additions and 17,705 deletions.
diff --git a/dev/01_lense_a_map/index.html b/dev/01_lense_a_map/index.html
diff --git a/dev/01_lense_a_map_files/01_lense_a_map_20_0.png b/dev/01_lense_a_map_files/01_lense_a_map_20_0.png
diff --git a/dev/01_lense_a_map_files/01_lense_a_map_24_0.png b/dev/01_lense_a_map_files/01_lense_a_map_24_0.png
diff --git a/dev/01_lense_a_map_files/01_lense_a_map_9_0.png b/dev/01_lense_a_map_files/01_lense_a_map_9_0.png
diff --git a/dev/02_posterior/index.html b/dev/02_posterior/index.html
diff --git a/dev/02_posterior_files/02_posterior_11_0.png b/dev/02_posterior_files/02_posterior_11_0.png
diff --git a/dev/02_posterior_files/02_posterior_13_0.png b/dev/02_posterior_files/02_posterior_13_0.png
diff --git a/dev/02_posterior_files/02_posterior_24_0.png b/dev/02_posterior_files/02_posterior_24_0.png
diff --git a/dev/02_posterior_files/02_posterior_30_0.png b/dev/02_posterior_files/02_posterior_30_0.png
diff --git a/dev/02_posterior_files/02_posterior_31_0.png b/dev/02_posterior_files/02_posterior_31_0.png
diff --git a/dev/02_posterior_files/02_posterior_39_0.png b/dev/02_posterior_files/02_posterior_39_0.png
diff --git a/dev/02_posterior_files/02_posterior_40_0.png b/dev/02_posterior_files/02_posterior_40_0.png
diff --git a/dev/03_joint_MAP_example/index.html b/dev/03_joint_MAP_example/index.html
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_18_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_18_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_20_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_20_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_22_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_22_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_24_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_24_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_30_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_30_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_32_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_32_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_34_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_34_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_35_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_35_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_36_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_36_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_37_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_37_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_38_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_38_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_39_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_39_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_41_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_41_0.png
diff --git a/dev/03_joint_MAP_example_files/03_joint_MAP_example_9_0.png b/dev/03_joint_MAP_example_files/03_joint_MAP_example_9_0.png
diff --git a/dev/04_from_python/index.html b/dev/04_from_python/index.html
diff --git a/dev/04_from_python_files/04_from_python_19_1.png b/dev/04_from_python_files/04_from_python_19_1.png
diff --git a/dev/04_from_python_files/04_from_python_26_0.png b/dev/04_from_python_files/04_from_python_26_0.png
diff --git a/dev/04_from_python_files/04_from_python_36_0.png b/dev/04_from_python_files/04_from_python_36_0.png
diff --git a/dev/05_field_basics/index.html b/dev/05_field_basics/index.html
diff --git a/dev/06_gpu/index.html b/dev/06_gpu/index.html
diff --git a/dev/06_gpu_files/06_gpu_29_0.png b/dev/06_gpu_files/06_gpu_29_0.png
diff --git a/dev/06_gpu_files/06_gpu_42_0.png b/dev/06_gpu_files/06_gpu_42_0.png
diff --git a/dev/06_gpu_files/06_gpu_60_0.png b/dev/06_gpu_files/06_gpu_60_0.png
diff --git a/dev/api/index.html b/dev/api/index.html
diff --git a/dev/assets/JuliaMono-Regular.ttf b/dev/assets/JuliaMono-Regular.ttf
diff --git a/dev/assets/cmblensing.css b/dev/assets/cmblensing.css
@@ -1,13 +1,12 @@
-pre.language-output {
-    background-color: white;
+code.language-output {
+    background-color: white !important;
 }
 
 @font-face {
-    font-family: 'DejaVuSansMono';
-    src: url("DejaVuSansMono.ttf");
+    font-family: 'JuliaMono-Regular';
+    src: url("JuliaMono-Regular.ttf");
 }
 
-pre, code, kbd {
-  font-family: 'DejaVuSansMono', Monaco, courier, monospace;
-  font-size: 0.90em;
+code, pre {
+  font-family: 'JuliaMono-Regular', Monaco, courier, monospace !important;
 }
diff --git a/dev/assets/documenter.js b/dev/assets/documenter.js
diff --git a/dev/assets/search.js b/dev/assets/search.js
diff --git a/dev/assets/themes/documenter-dark.css b/dev/assets/themes/documenter-dark.css