Merge branch 'doc/multidomain-intro' into 'master'
[doc] multidomain introduction
See merge request !148 (merged)
(cherry picked from commit b63068c2)
c3a0d6aa [slides][css] make code font smaller 91d9cdb0 [doc] multidomain introduction a17bfc60 [slides][multidomain] minor changes