diff --git a/README.md b/README.md index 68dfd82..082dcd7 100644 --- a/README.md +++ b/README.md @@ -1,12 +1,13 @@ # MARP Themes - `marpstyle` - +![](https://camo.githubusercontent.com/83d3746e5881c1867665223424263d8e604df233d0a11aae0813e0414d433943/68747470733a2f2f696d672e736869656c64732e696f2f62616467652f6c6963656e73652d4d49542d626c75652e737667) + | ![](img/plow_man.gif) | This set of styles (themes) were designed bearing mainly simplicity and beauty in mind as first class requirements. As the first theme (plato.css) got ready I decided to share. I hope sincerely you enjoy it and it comes to be useful to as many users as possible. More styles are due to come in a fashionable time.

Stay tuned for more Marpstyle Themes! | | --------------------- | :------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | + Marp themes repository, created with beauty and simplicity as first concerns.
Last update: 20.jun.2023 -![](https://camo.githubusercontent.com/83d3746e5881c1867665223424263d8e604df233d0a11aae0813e0414d433943/68747470733a2f2f696d672e736869656c64732e696f2f62616467652f6c6963656e73652d4d49542d626c75652e737667) # What´s new? diff --git a/examples/example-leibniz.md b/examples/example-leibniz.md index efc11af..46b33f7 100644 --- a/examples/example-leibniz.md +++ b/examples/example-leibniz.md @@ -32,21 +32,21 @@ math : katex ![bg left:33%](https://upload.wikimedia.org/wikipedia/commons/thumb/c/ce/Gottfried_Wilhelm_Leibniz%2C_Bernhard_Christoph_Francke.jpg/800px-Gottfried_Wilhelm_Leibniz%2C_Bernhard_Christoph_Francke.jpg) -
Graph Algebra Representation of Formally Defined Programs in Z
-
Using Haskell to Reason and Verify Programs
-
Leonard Kleinrock
-
01.jan.2022
-
Formal Methods International Congress
+
De primae philosophiae Emendatione, et de Notione Substantiae
+
On the Correction of First Philosophy and the Notion of Substance
+
Gottfried Wilhelm Leibniz
+
Hannover, 1694
+
Lausannae et Genevae
--- -# Graph Algebra Representation of Formally Defined Programs in Z -## Using Haskell to Reason and Verify Programs -### Leonard Kleinrock -#### 01.jan.2022 -##### Formal Methods International Congress +# De primae philosophiae Emendatione, et de Notione Substantiae +## On the Correction of First Philosophy and the Notion of Substance +### Gottfried Wilhelm Leibniz +#### Hannover, 1694 +##### Lausannae et Genevae --- diff --git a/examples/example-leibniz.pdf b/examples/example-leibniz.pdf index 85b603c..f6643fa 100644 Binary files a/examples/example-leibniz.pdf and b/examples/example-leibniz.pdf differ diff --git a/img/leibniz.png b/img/leibniz.png index c63b03a..bc6d2f8 100644 Binary files a/img/leibniz.png and b/img/leibniz.png differ