From 091598d038263fbec09ba3d3b2af204630f53f41 Mon Sep 17 00:00:00 2001 From: Junyoung/Clare Jang Date: Fri, 27 Sep 2024 05:01:14 -0400 Subject: [PATCH] Fix style --- assets/extra/header.html | 2 +- assets/extra/resources/coqdocjs.css | 1 - assets/extra/resources/depgraph.css | 4 ---- assets/extra/resources/depgraph.js | 1 + scripts/post_process_dep.py | 2 +- 5 files changed, 3 insertions(+), 7 deletions(-) diff --git a/assets/extra/header.html b/assets/extra/header.html index c22a7d7d..cff400cb 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 d94bb581..3022215d 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 7f27329a..c63ac641 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 df9250a1..39fd0faf 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 7edd8c50..a4f755f9 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"):