The content of this web site is encoded in HTML5 dynamically generated through XSL transformations using the PHP processor. Cross-browser compatibility is handled by html5 boilerplate. Dynamic behaviour is obtained through the html5sortable and tinysort jQuery plugins. Graphs are handled by arbor.js. Mathematical content is typeset through MathJax. Style is based on Bootstrap.