src/doc/en/developer/portability_testing.rst: Use .. NOTE::

sagemath · Jan 11, 2024 · 390c949 · 390c949
1 parent a012f94
commit 390c949
Showing 1 changed file with 14 additions and 19 deletions.
diff --git a/src/doc/en/developer/portability_testing.rst b/src/doc/en/developer/portability_testing.rst
@@ -60,29 +60,24 @@ Make sure that your Docker client is configured to provide enough RAM
 to the containers (8 GB are a good choice). In Docker Desktop this
 setting is in Preferences -> Resources -> Advanced.
 
-As an alternative, you can also run Docker in GitHub Codespaces
-(or another cloud service) using a container with the Docker-in-Docker
-feature. Sage provides a suitable dev container configuration
-`.devcontainer/tox-docker-in-docker
-<https://github.com/sagemath/sage/tree/develop/.devcontainer/tox-docker-in-docker>`_.
-
-.. only:: html
+.. NOTE::
 
-   .. |codespace-tox-docker-in-docker| image:: https://github.com/codespaces/badge.svg
-      :target: https://codespaces.new/sagemath/sage?devcontainer_path=.devcontainer%2Ftox-docker-in-docker%2Fdevcontainer.json
+   All examples in this section were obtained using Docker Desktop for
+   Mac; but the `command-line user interface
+   <https://docs.docker.com/engine/reference/commandline/cli/>`_ for the
+   other platforms is identical.
 
-   .. list-table::
-      :widths: 25 60
-      :header-rows: 0
+   As an alternative, you can also run Docker in GitHub Codespaces
+   (or another cloud service) using a container with the Docker-in-Docker
+   feature. Sage provides a suitable dev container configuration
+   `.devcontainer/tox-docker-in-docker
+   <https://github.com/sagemath/sage/tree/develop/.devcontainer/tox-docker-in-docker>`_:
 
-      * - `tox-docker-in-docker
-          <https://github.com/sagemath/sage/tree/develop/.devcontainer/tox-docker-in-docker>`_
-        - |codespace-tox-docker-in-docker|
+   .. ONLY:: html
 
-All examples in this section were obtained using Docker Desktop for
-Mac; but the `command-line user interface
-<https://docs.docker.com/engine/reference/commandline/cli/>`_ for the
-other platforms is identical.
+      .. image:: https://github.com/codespaces/badge.svg
+         :align: center
+         :target: https://codespaces.new/sagemath/sage?devcontainer_path=.devcontainer%2Ftox-docker-in-docker%2Fdevcontainer.json
 
 All major Linux distributions provide ready-to-use Docker images,
 which are published via `Docker Hub <https://hub.docker.com>`_