diff --git a/docs/_assets/mdl.css b/docs/_assets/mdl.css index b3527708..4a789803 100644 --- a/docs/_assets/mdl.css +++ b/docs/_assets/mdl.css @@ -20,10 +20,6 @@ min-height: calc(100vh - 120px); } -.mdl-layout__header-row { - /* color: #fff; */ -} - .mdl-layout__header-row > .mdl-navigation > .mdl-navigation__link { color: #fff; font-size: 20px; @@ -265,6 +261,11 @@ td{ /* margin-bottom: 32px; */ } +.mdl-layout__drawer .mdl-navigation .mdl-navigation__link { + padding-top: 8px; + padding-bottom: 8px; +} + .parent { font-weight: bold; } diff --git a/docs/_config.yml b/docs/_config.yml index b44cb70f..bd57c0fa 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -1,5 +1,5 @@ # Site settings -title: MPS Code Rules +title: MPS CodeRules email: fedor.isakov@jetbrains.com description: >- # this means to ignore newlines until "baseurl:" Code Rules is a language framework and runtime for running logical @@ -8,9 +8,9 @@ baseurl: "/mps-coderules" # the subpath of your site, e.g. /blog url: "https://jetbrains.github.io" # the base hostname & protocol for your site, e.g. http://example.com twitter_username: jetbrains_mps github_username: jetbrains -time: 2018-09-05 -revision: 0.5.0 -copyright: JetBrains s.r.o. +time: 2021-05-21 +revision: 0.9.0 +copyright: JetBrains copyright_url: "https://jetbrains.com" homepage: "https://jetbrains.com/mps" homepage_title: "JetBrains MPS" diff --git a/docs/_data/nav.yml b/docs/_data/nav.yml index 4d7766b7..6b020aaa 100644 --- a/docs/_data/nav.yml +++ b/docs/_data/nav.yml @@ -4,7 +4,7 @@ id: examples - title: "All on Single Page" - url: "content/allpages.html" + url: "allpages" weight: 890 tab: true @@ -14,12 +14,12 @@ id: links - title: "GitHub Project" - url: "https://github.com/fisakov/constraints-typechecking" + url: "https://github.com/jetbrains/mps-coderules" parent: links tab: true -- title: "Latest Release" - url: "https://github.com/fisakov/constraints-typechecking/releases" +- title: "Latest Builds" + url: "https://teamcity.jetbrains.com/viewType.html?buildTypeId=MPS_20211_Distribution_MpsCodeRules" parent: links tab: true diff --git a/docs/_includes/footer.html b/docs/_includes/footer.html index 5f6f47db..acd1c4ed 100644 --- a/docs/_includes/footer.html +++ b/docs/_includes/footer.html @@ -9,7 +9,9 @@
diff --git a/docs/_includes/header.html b/docs/_includes/header.html index 7d012c24..bf6d85a9 100644 --- a/docs/_includes/header.html +++ b/docs/_includes/header.html @@ -1,10 +1,5 @@ -
+
- - {% if site.logo %} - - {% endif %} - {% if page.title %}

diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 56310bb9..969ba151 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -9,11 +9,16 @@ {% include head.html %} -
+
{% include header.html %}
- {{ site.title }} + + {% if site.logo %} + + {% endif %} + +
+ diff --git a/docs/_layouts/print.html b/docs/_layouts/print.html index 8b612c21..48f3ca64 100644 --- a/docs/_layouts/print.html +++ b/docs/_layouts/print.html @@ -9,14 +9,15 @@
- -

- {% if page.title %}{{ page.title }} | {% endif %}{{ site.title }} -

- - {{ content }} -

Revision: {{ site.revision }}

-

Date: {{ site.time | date: "%-d %b, %Y" }}

+ + + + + + +

{{site.url}}{{site.baseurl}}

+

Revision: {{ site.revision }}

+

Date: {{ site.time | date: "%-d %b, %Y" }}

{% assign sorted_pages = site.pages | sort: 'weight' %} {% for p in sorted_pages %} {% if p.menu != false and p.weight != nil %} diff --git a/docs/_layouts/redirect.html b/docs/_layouts/redirect.html new file mode 100644 index 00000000..6f073d38 --- /dev/null +++ b/docs/_layouts/redirect.html @@ -0,0 +1,15 @@ + + + + + + + Page Redirection + + +If you are not redirected automatically, follow this link. + + + diff --git a/docs/index.md b/docs/index.md index e6d0507b..06be6d0c 100644 --- a/docs/index.md +++ b/docs/index.md @@ -1,12 +1,4 @@ --- -title: About -menu: false -weight: 1 -layout: welcome +redirect: content +layout: redirect --- - -Type inference and type checking is a problematic area for language authors — users of JetBrains MPS, because of inherent intricacies of the problem and sometimes inadequate support from the framework. - -*Code Rules* is a new technology that brings logic programming in the form of constraints processing as a vehicle for implementing type inference. - -Thanks to its flexibility and independence from any specifics of type checking, this technology can be applied in other areas of model analysis where logical inference can be useful.