src/doc/common/static/custom-jupyter-sphinx.css, src/sage_docbuild/conf.py: Refinements

kwankyu · Matthias Koeppe · commit dea37e7320f3 · 2024-03-20T09:33:54.000-07:00
diff --git a/src/doc/common/static/custom-jupyter-sphinx.css b/src/doc/common/static/custom-jupyter-sphinx.css
@@ -1,5 +1,5 @@
 div.jupyter_container {
-  margin: .5rem 0;
+  border: 0;
 }
 
 div.jupyter_container + div.jupyter_container {
diff --git a/src/sage_docbuild/conf.py b/src/sage_docbuild/conf.py
@@ -903,7 +903,7 @@ def apply(self):
                             linenostart=1)
                         cell_node += cell_input
                         container = TabContainer("", type="tab", new_set=False)
-                        textnodes = [Text('Sage (live)')]
+                        textnodes = [Text('Sage Live')]
                         label = Label("", "", *textnodes)
                         container += label
                         content = Container("", is_div=True, classes=["tab-content"])

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`div.jupyter_container {`
`2`		`- margin: .5rem 0;`
	`2`	`+ border: 0;`
`3`	`3`	`}`
`4`	`4`
`5`	`5`	`div.jupyter_container + div.jupyter_container {`