feat(docs): Add Furo50 Sphinx theme extension (CS50 Jekyll-style replication)

cli50.md

@@ -1,4 +1,4 @@
-# `cli50`
+# cli50
 
 `cli50` is a command-line tool via which you can (easily!) mount a directory within a container running [`cs50/cli`](cs50/cli), a Docker image based on Ubuntu 22.04, a popular distribution of Linux. We use `cli50` to work on CS50's own apps in a standard, contained environment, without having to install apps' dependencies on our own Macs and PCs. It provides a command-line environment similar, but not quite identical to, a terminal window in [Visual Studio Code for CS50](cs50.dev). It also supports Docker outside of Docker (DooD).
 

conf.py

@@ -7,22 +7,22 @@
     "sphinx_markdown_tables",
     "sphinx_tabs.tabs",
     "sphinxcontrib.httpdomain",
-    "sphinxext.opengraph"
+    "sphinxext.opengraph",
+    "furo50",
 ]
 
 html_css_files = [
-    "/_static/custom.css?" + str(round(time.time())),
-    "https://use.fontawesome.com/releases/v5.13.0/css/all.css"
+    "custom.css",
+    "https://use.fontawesome.com/releases/v5.13.0/css/all.css",
 ]
-html_js_files = ["/_static/custom.js?" + str(round(time.time()))]
+html_js_files = ["custom.js"]
 html_static_path = ["_static"]
-html_theme = "sphinx_rtd_theme"
+html_theme = "furo"
+html_title = "CS50 Docs"
+html_permalinks_icon = "#"
 html_theme_options = {
-    "display_version": False,
-    "prev_next_buttons_location": False,
-    "sticky_navigation": False
 }
-html_title = "CS50 Docs"
+html_show_copyright = False
 
 myst_heading_anchors = 6
 
@@ -31,3 +31,4 @@
 ogp_site_url = "https://cs50.readthedocs.io/"
 
 project = "CS50 Docs"
+

cs50/check.md

@@ -1,3 +1,3 @@
-# `cs50/check`
+# cs50/check
 
 `cs50/check` is the [Docker](../../docker) image on [Docker Hub](https://hub.docker.com/r/cs50/check), implemented with this [`Dockerfile`](https://github.com/cs50/check/blob/main/Dockerfile) used by [submit.cs50.io](https://submit.cs50.io/) to run [`check50`](https://cs50.readthedocs.io/projects/check50/).

cs50/cli.md

@@ -1,3 +1,3 @@
-# `cs50/cli`
+# cs50/cli
 
 `cs50/cli` is the [Docker](../../docker) image on [Docker Hub](https://hub.docker.com/r/cs50/cli), implemented with this [`Dockerfile`](https://github.com/cs50/cli/blob/main/Dockerfile), used by [`cli50`](../cli50).

cs50/codespace.md

@@ -1,3 +1,3 @@
-# `cs50/codespace`
+# cs50/codespace
 
 `cs50/codespace` is the [Docker](../../docker) image on [Docker Hub](https://hub.docker.com/r/cs50/codespace), implemented with this [`Dockerfile`](https://github.com/cs50/codespace/blob/main/Dockerfile), used by CS50's adaptation of [Visual Studio Code](/code/). It is also available as `ghcr.io/cs50/codespace` on [GitHub Packages](https://github.com/cs50/codespace/pkgs/container/codespace).

cs50/ide.md

@@ -1,3 +1,3 @@
-# `cs50/ide`
+# cs50/ide
 
 `cs50/ide` is the [Docker](../../docker) image on [Docker Hub](https://hub.docker.com/r/cs50/ide), implemented with this [`Dockerfile`](https://github.com/cs50/ide/blob/main/Dockerfile), used by [CS50 IDE](../ide/index).

cs50/sandbox.md

@@ -1,3 +1,3 @@
-# `cs50/sandbox`
+# cs50/sandbox
 
 `cs50/sandbox` is a [Docker](../../docker) image on [Docker Hub](https://hub.docker.com/r/cs50/sandbox), implemented with this [`Dockerfile`](https://github.com/cs50/sandbox/blob/main/Dockerfile), with which you can create a container nearly identical to those used by [CS50 Sandbox](../sandbox).

cs50/server.md

@@ -1,4 +1,4 @@
-# `cs50/server`
+# cs50/server
 
 `cs50/server` is a [Docker](../../docker) image on [Docker Hub](https://hub.docker.com/r/cs50/server), implemented with this [`Dockerfile`](https://github.com/cs50/server/blob/main/Dockerfile), with which you can (easily!) serve websites with, optionally, back ends implemented in JavaScript, PHP, Python, or Ruby. (We use it to serve CS50's own apps on [AWS Elastic Beanstalk](https://aws.amazon.com/elasticbeanstalk/)!) Essentially, it's a lightly customized installation of [Passenger](https://www.phusionpassenger.com/library/), an app server, to which we've added support for PHP (for some of CS50's older web apps). It also facilitates configuration of Nginx, the web server used by Passenger in in [Standalone mode](https://www.phusionpassenger.com/library/config/standalone/intro.html), via two files, `httpd.conf` and `server.conf`. The image itself is based on [`cs50/cli`](cli), which, in turn, is based on [Ubuntu 22.04](https://hub.docker.com/_/ubuntu/), a popular distribution of Linux.
 

pip.md

@@ -1,4 +1,4 @@
-# `pip`
+# pip
 
 Most of CS50's command-line tools are implemented in Python and can be installed on your own Mac or PC via `pip`, a command-line tool via which you can install Python packages from [PyPI](https://pypi.org/), "the default [package index](https://packaging.python.org/glossary/#term-package-index) for the Python community."
 

python.md

@@ -1,4 +1,4 @@
-# `python`
+# Python
 
 Most of CS50's command-line tools require that you have Python 3.6 or higher installed, since CS50 [uses f-strings](https://www.python.org/dev/peps/pep-0498/) and [assumes that keyword arguments are ordered](https://www.python.org/dev/peps/pep-0468/). (If you already have Python installed on your Mac or PC but didn't install it yourself, odds are it's an older version.) You can install the latest version of Python for
 

render50.md

@@ -1,4 +1,4 @@
-# `render50`
+# render50
 
 `render50` is a command-line tool with which you can generate syntax-highlighted PDFs of source code. In years past, CS50 generated PDFs of students' submissions so that teaching fellows (TFs) could annotate the PDFs with typed feedback. These days, CS50 generates PDFs of lectures' source code so that students can annotate them during lectures and so that David has a printout of each lecture's source code in front of him during lectures!
 

requirements.txt

@@ -1,7 +1,8 @@
-myst-parser==0.17.2
-sphinx==4.5.0
-sphinx-markdown-tables==0.0.17
-sphinx-tabs==3.3.1
-sphinx_rtd_theme==1.0.0
-sphinxcontrib-httpdomain==1.8.0
-sphinxext-opengraph==0.6.3
+myst-parser>=0.17.2
+sphinx>=4.5.0
+sphinx-markdown-tables>=0.0.17
+sphinx-tabs>=3.3.1
+sphinx_rtd_theme>=1.0.0
+sphinxcontrib-httpdomain>=1.8.0
+sphinxext-opengraph>=0.6.3
+furo50>=1.0.0b1

style50.md

@@ -1,4 +1,4 @@
-# `style50`
+# style50
 
 `style50` is a command-line tool with which you can check your code for consistency with [CS50's style guide](../style/c/) (for C). If your code isn't styled consistently, `style50` will summarize the changes you should make to your code, as by highlighting in <span class="bg-green p-1 text-white">green</span> characters you should add and highlighting in <span class="bg-red p-1 text-white">red</span> characters you should delete.
 

submit50.md

@@ -1,4 +1,4 @@
-# `submit50`
+# submit50
 
 `submit50` is a command-line tool with which you can submit work (e.g., problem sets) to a course (e.g., CS50). It's based on `git`, a "distributed version control system" that allows you to save different versions of files without having to give each version a unique filename (as you might be wont to do on your own Mac or PC!). Via `submit50` and, in turn, `git` can you thus submit work multiple times (i.e., multiple versions thereof).