This commit is contained in:
anoadragon453
2026-05-29 10:59:50 +00:00
parent 6dcf4f0044
commit d230747d54
112 changed files with 177 additions and 111 deletions
+1 -1
View File
@@ -38,7 +38,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+34 -1
View File
@@ -38,7 +38,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
@@ -8471,6 +8471,39 @@ loggers:
<p>The above logging config will set Synapse as INFO logging level by default,
with the SQL layer at WARNING, and will log JSON formatted messages to a
remote endpoint at 10.1.2.3:9999.</p>
<h2 id="google-cloud-logging-gke"><a class="header" href="#google-cloud-logging-gke">Google Cloud Logging (GKE)</a></h2>
<p>When running Synapse on GKE, use <code>synapse.logging.GcpJsonFormatter</code>. It outputs
JSON to stdout with a <code>severity</code> field that Google Cloud Logging maps to the
correct per-entry severity. Without this, GKE assigns <code>ERROR</code> to everything
written to stderr regardless of the actual Python log level.</p>
<p>Example output:</p>
<pre><code class="language-json">{"severity":"INFO","message":"Processed request: 3.481sec 200 GET /sync","logger":"synapse.access.http.8008","time":"2026-05-12T13:40:37.829Z"}
</code></pre>
<p>Configuration:</p>
<pre><code class="language-yaml">version: 1
disable_existing_loggers: false
formatters:
gcp_json:
class: synapse.logging.GcpJsonFormatter
handlers:
console:
class: logging.StreamHandler
formatter: gcp_json
stream: ext://sys.stdout
loggers:
synapse.storage.SQL:
level: WARNING
twisted:
handlers: [console]
propagate: false
root:
level: INFO
handlers: [console]
</code></pre>
<div style="break-before: page; page-break-before: always;"></div>
<h1 id="templates-1"><a class="header" href="#templates-1">Templates</a></h1>
<p>Synapse uses parametrised templates to generate the content of emails it sends and
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -437,7 +437,7 @@ window.search = window.search || {};
if (yes) {
loadSearchScript(
window.path_to_searchindex_js ||
path_to_root + 'searchindex-dc217516.js',
path_to_root + 'searchindex-5fc2c347.js',
'mdbook-search-index');
search_wrap.classList.remove('hidden');
searchicon.setAttribute('aria-expanded', 'true');
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+34 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
@@ -266,6 +266,39 @@ loggers:
<p>The above logging config will set Synapse as INFO logging level by default,
with the SQL layer at WARNING, and will log JSON formatted messages to a
remote endpoint at 10.1.2.3:9999.</p>
<h2 id="google-cloud-logging-gke"><a class="header" href="#google-cloud-logging-gke">Google Cloud Logging (GKE)</a></h2>
<p>When running Synapse on GKE, use <code>synapse.logging.GcpJsonFormatter</code>. It outputs
JSON to stdout with a <code>severity</code> field that Google Cloud Logging maps to the
correct per-entry severity. Without this, GKE assigns <code>ERROR</code> to everything
written to stderr regardless of the actual Python log level.</p>
<p>Example output:</p>
<pre><code class="language-json">{"severity":"INFO","message":"Processed request: 3.481sec 200 GET /sync","logger":"synapse.access.http.8008","time":"2026-05-12T13:40:37.829Z"}
</code></pre>
<p>Configuration:</p>
<pre><code class="language-yaml">version: 1
disable_existing_loggers: false
formatters:
gcp_json:
class: synapse.logging.GcpJsonFormatter
handlers:
console:
class: logging.StreamHandler
formatter: gcp_json
stream: ext://sys.stdout
loggers:
synapse.storage.SQL:
level: WARNING
twisted:
handlers: [console]
propagate: false
root:
level: INFO
handlers: [console]
</code></pre>
</main>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../searchindex-dc217516.js";
window.path_to_searchindex_js = "../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "searchindex-dc217516.js";
window.path_to_searchindex_js = "searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
+1 -1
View File
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>
@@ -37,7 +37,7 @@
const path_to_root = "../../";
const default_light_theme = "light";
const default_dark_theme = "navy";
window.path_to_searchindex_js = "../../searchindex-dc217516.js";
window.path_to_searchindex_js = "../../searchindex-5fc2c347.js";
</script>
<!-- Start loading toc.js asap -->
<script src="../../toc-4dc10a98.js"></script>

Some files were not shown because too many files have changed in this diff Show More