Implement a new HTML front end with Bulma (#1043)

.travis.yml

@@ -20,9 +20,11 @@ after_success:
 
 jobs:
   include:
+    - stage: "Themes"
+      script:
+        - julia --project=test/themes -e 'using Pkg; Pkg.instantiate(); Pkg.develop(PackageSpec(path=pwd()))'
+        - julia --project=test/themes test/themes/themes.jl
     - stage: "Documentation"
-      julia: 1.0
-      os: linux
       script:
         - julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
         - julia --project=docs/ docs/make.jl

Project.toml

@@ -4,6 +4,7 @@ version = "0.23.2"
 
 [deps]
 Base64 = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"
+Dates = "ade2ca70-3891-5945-98fb-dc099432e06a"
 DocStringExtensions = "ffbed154-4ef7-542d-bbb7-c09d3a79fcae"
 InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
 JSON = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"

assets/html/README.md

@@ -0,0 +1,11 @@
+# Non-Julia Assets for `HTMLWriter`
+
+Themes / CSS:
+
+* `scss/`: contains the SCSS and Sass files
+  * `scss/bulma/`: Sass sources of the [Bulma CSS framework](https://bulma.io/), v0.7.5
+    (MIT license, [GitHub](https://github.com/jgthms/bulma))
+  * `darkly/`: [Darkly Bulmaswatch theme](https://jenil.github.io/bulmaswatch/darkly/) (MIT license, [GitHub](https://github.com/jenil/bulmaswatch/))
+  * `documenter/`: Documenter-specific overrides, components etc.
+  * `documenter.scss` and `darkly.scss`: Documenter default themes
+* `themes/`: contains the compiled `.css` files of the default themes