../ cssAdded target for creation of website. 'web' directory contains source files for website, which is created in 'web/pandoc'.20 years ago footer.htmlAdded target for creation of website. 'web' directory contains source files for website, which is created in 'web/pandoc'.20 years ago header.htmlAdded target for creation of website. 'web' directory contains source files for website, which is created in 'web/pandoc'.20 years ago index.txtChanged first two paragraphs of index.txt to match README.20 years ago main.cssAdded target for creation of website. 'web' directory contains source files for website, which is created in 'web/pandoc'.20 years ago print.cssAdded target for creation of website. 'web' directory contains source files for website, which is created in 'web/pandoc'.20 years ago