Add a Navy theme and a WebColor19 to themes prior to 7.0.0.1

Xavier MULLER 2019-11-04 22:54:28 +01:00
parent 2d083c842d
commit 2b4cefcdf5
1 changed files with 7 additions and 2 deletions

@ -26,10 +26,15 @@ WebColor {"WebColor":["#eeeeee","#181818","#4f4f4f","#000000","#dddddd","#008000
White theme (default until 6.7.1.) White theme (default until 6.7.1.)
```haskell ```haskell
WebColor {"WebColor":["#000000","#ffffff","#f2f2f2","#000000","#ffffff","#000000","#ffffff","#ff0000","#008000","#ffffff","#1fa3ec","#0e70a4","#d43535","#931f1f","#47c266","#5aaf6f","#ffffff","#999999"]} WebColor {"WebColor":["#000000","#ffffff","#f2f2f2","#000000","#ffffff","#000000","#ffffff","#ff0000","#008000","#ffffff","#1fa3ec","#0e70a4","#d43535","#931f1f","#47c266","#5aaf6f","#ffffff","#999999","#000000"]}
``` ```
Halloween Halloween
```haskell ```haskell
WebColor {"WebColor":["#cccccc","#3d3f41","#3d3f41","#93c763","#293134","#93c763","#293134","#ff0000","#008000","#ffffff","#ec7600","#0e70a4","#d43535","#931f1f","#47c266","#5aaf6f","#ffffff","#999999"]} WebColor {"WebColor":["#cccccc","#3d3f41","#3d3f41","#93c763","#293134","#93c763","#293134","#ff0000","#008000","#ffffff","#ec7600","#0e70a4","#d43535","#931f1f","#47c266","#5aaf6f","#ffffff","#999999","#eedd77"]}
```
Navy
```haskell
webcolor {"WebColor":["#e0e0c0","#000033","#4f4f4f","#000000","#dddddd","#a7f432","#1e1e1e","#ff0000","#008000","#ffffff","#1fa3ec","#0e70a4","#d43535","#931f1f","#47c266","#5aaf6f","#ffffff","#999999","#eedd77"]}
``` ```