Closed saraedum closed 1 year ago
the same theme that SageMath uses.
Fixes #77.
Also cleaned up the configuration a bit and put a logo into the docs.
the same theme that SageMath uses.
Fixes #77.
Also cleaned up the configuration a bit and put a logo into the docs.