6 ms·

Thanks! :) They're written in markdown, styled with custom HTML+CSS+JS.

• wojcikstefan 12y ago
  I see, thanks for replying! Do you use an open-source tool to generate HTML from Markdown (including the navigation bar, etc.) or have you written something custom?
  • grinich 12y ago
    For going Markdown->HTML, we're just using the Python Markdown package. https://pypi.python.org/pypi/Markdown https://pypi.python.org/pypi/Markdown The navigation bar scrolling is custom-built with AngularJS.