From 8e5f04ea90571b8a2e14a16225d0f1b8583b71d1 Mon Sep 17 00:00:00 2001 From: Naveen M K Date: Thu, 9 Nov 2023 22:34:13 +0530 Subject: [PATCH] update margin for run interactive button --- docs/source/_static/custom.css | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/source/_static/custom.css b/docs/source/_static/custom.css index 8e84f685f0..2b17007fdc 100644 --- a/docs/source/_static/custom.css +++ b/docs/source/_static/custom.css @@ -99,6 +99,5 @@ h4, h5, h6{ } .manim-binder-button-wrapper { - margin-top: -1em; - margin-bottom: -0.5em; + margin: 0px 10px; }