diff --git a/assets/extra/header.html b/assets/extra/header.html
index c22a7d7..cff400c 100644
--- a/assets/extra/header.html
+++ b/assets/extra/header.html
@@ -4,7 +4,7 @@
-
+
diff --git a/assets/extra/resources/coqdocjs.css b/assets/extra/resources/coqdocjs.css
index d94bb58..3022215 100644
--- a/assets/extra/resources/coqdocjs.css
+++ b/assets/extra/resources/coqdocjs.css
@@ -131,7 +131,6 @@ html, body {
padding-bottom: 2em;
margin-left: auto;
margin-right: auto;
- max-width: 60em;
flex: 1 0 auto;
}
diff --git a/assets/extra/resources/depgraph.css b/assets/extra/resources/depgraph.css
index 7f27329..c63ac64 100644
--- a/assets/extra/resources/depgraph.css
+++ b/assets/extra/resources/depgraph.css
@@ -1,7 +1,3 @@
-div.#main {
- max-width: unset;
-}
-
svg.depgraph {
max-width: 100%;
}
diff --git a/assets/extra/resources/depgraph.js b/assets/extra/resources/depgraph.js
index df9250a..39fd0fa 100644
--- a/assets/extra/resources/depgraph.js
+++ b/assets/extra/resources/depgraph.js
@@ -44,3 +44,4 @@ function makeEdgesInteractive(evt) {
polygon.style.opacity = '1';
}, 1000 * timeUnit);
}
+}
diff --git a/scripts/post_process_dep.py b/scripts/post_process_dep.py
index 7edd8c5..a4f755f 100644
--- a/scripts/post_process_dep.py
+++ b/scripts/post_process_dep.py
@@ -10,7 +10,7 @@
SVG_ELEMENT.setAttribute("onload", "makeEdgesInteractive(evt)")
for line in io.open(PROJECT_ROOT / "assets" / "extra" / "header.html"):
print(line, end='')
-print('')
+print('')
print('')
SVG_ELEMENT.writexml(sys.stdout)
for line in io.open(PROJECT_ROOT / "assets" / "extra" / "footer.html"):