From: Amin Bandali
+Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system functionality abstractly and @@ -69,9 +70,10 @@ may be most suited for modelling their system, we present recommendations based on our observations about the differentiating characteristics of each of these languages.
This thesis is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -86,6 +88,7 @@ GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this thesis. If not, see <https://www.gnu.org/licenses/>.+
A copy of the GNU General Public License is available from gpl-3.0.html, as well as in diff --git a/static/style.css b/static/style.css index 1036bbd..8527bc6 100644 --- a/static/style.css +++ b/static/style.css @@ -101,9 +101,20 @@ article h3 { bottom: 0.05em; } -.center-text { +.center { text-align: center; } +.justify { + text-align: justify; +} + +details { + margin: 1em 0; + padding: 0.5em; +} +details summary { + cursor: pointer; +} sup, sub { position: relative; @@ -143,10 +154,6 @@ blockquote#abstract { text-align: justify; } -pre, code { - background: #f6f6f6; - font: 1.15em monospace; -} pre { display: inline-block; margin: 0.5em 0; @@ -164,11 +171,16 @@ code { text-transform: none; padding: .2em .3em; } -strong { - font-weight: bold; + +/* box effect */ +details, pre, code { + background-color: #f8f8f8; + border: 1px solid #e6e6e6; + border-radius: 4px; + box-sizing: border-box; } -em { - font-style: italic; +details pre { + border: none; } table td { @@ -209,9 +221,6 @@ small, dd, .small, .bibtexnumber, .bibtexitem, .bibtex2html { .inbox, .bibtex2html { margin-top: 2em; } -.justify { - text-align: justify; -} li, dd { margin-bottom: 0.25em;