teaching

There is a gray portion in the topic viewer page at certain scroll lengths which looks odd.

Suggested fix is to cover the gray portion with the blue banner.

When a user has a version of gradebook.db that has not been upgraded to the latest version,
Formgrader will hang when it tries to open the database file.
The error is only visible in the log output and not propagated to the web interface.

There is an Autolab dark theme PR which allows each individual user to set whether they want the default Autolab theme, or the dark theme: autolab/Autolab#1139

This is a very promising PR but there are some issues with it which needs to be resolved before it can be merged.

1. Certain aspects of the light theme (the handin-panel, the font colors and type, the handin ta

git-cz serves the purpose here.

in particular, it doesn't support enough mathjax to support inference rules, or elements marked as math class.

the ultimate reason comes from https://github.com/ocaml-sf/learn-ocaml/tree/master/static/js/mathjax/jax/input

which does not include the tex.js script:

https://github.com/mathjax/MathJax/tree/master/es5/input

why just copy a partial mathjax? can we get this fixed?

Describe the bug
Continue button is not aligned properly when reading text size is extra large

To Reproduce
Steps to reproduce the behavior:

1. Go to 'Navigation menu'- Select Options
2. Click on 'Reading text size'- Change to Extra Large
3. Open any exploration
4. Scroll down to click on Continue

Expected behavior
Continue button should be aligned properly

![Screensho