Commit Graph

28 Commits (13a4caf0cd0f1b1f641864ab91b66fd618b6d1e5)

Author SHA1 Message Date
Alex Dima 233ecd49b1
Fix paths for running the website from source (#2807) 3 years ago
Alex Dima d9013a86c4
Move website files to `/website/` 3 years ago
Alex Dima 497507ffee
Move into `monaco-editor` directory 3 years ago
nrayburn 274c1c3dfc Monarch documentation changes 5 years ago
Alex Dima daabff0021
Remove usage of X-UA-Compatible 5 years ago
Josh Goldberg cf927a9e2c Updated h2 id 5 years ago
Josh Goldberg 32926a385a Added section in Monarch docs for Inspect Tokens development helper 5 years ago
Alexandru Dima ef9c54d884
Merge pull request #1309 from Kedstar99/HTMLFixes
Fixed various HTML errors with the various webpages
6 years ago
Alex Dima c35fbebb5a Minor tweaks to PR #1309 6 years ago
Alexandru Dima d23fd1e0a0
Merge pull request #1303 from swarnava/copyright-year
Make copyright year dynamic
6 years ago
Alex Dima 78076d9bf8 2018 -> 2019 6 years ago
Joshua Sullivan 185a9d5052 Fix javascript regexp range closing bracket 6 years ago
Krish De Souza 4c2b07fb31 Fixed various HTML errors with the various webpages based against w3 html validator 6 years ago
Alex Dima f537e6e183 Fixes #1014: Update monarch example grammars 6 years ago
Shivansh Saini cad50490f4 Fix typos and grammar mistakes. 6 years ago
Brooks Becton 8aa75f66b5 Removing obsolete Note in Monarch Docs 6 years ago
Niklas Mollenhauer c2cc55508b
Fix hash comment in xdot sample 7 years ago
Peng Lyu e52655e468 Fix #716. 7 years ago
Mustafa 31d31cd817 Updating date at footer 8 years ago
Alex Dima 825ed22017 Optimize loading speed of the website pages 8 years ago
Alex Dima 7a10545fee Clean up fork on github ribbon 8 years ago
Alex Dima 4621d2bfa0 Link to the generated API doc 8 years ago
Alex Dima fb992723d6 Website tweaks 9 years ago
Alex Dima 5b86272f55 Extract playground samples from mdoc, add possiblity to run them from source 9 years ago
Alex Dima 2d6057d65f Show the version number with the website 9 years ago
Alex Dima 300fe6ab69 Run website out of dev 9 years ago
Alex Dima 196f355660 No need for worker proxying in website 9 years ago
Alex Dima 585767bf5e Port over monarch playground 9 years ago