Leibniz update.

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. <br> <br> Stay tuned for more Marpstyle Themes! |
 | --------------------- | :------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
 
+
 Marp themes repository, created with beauty and simplicity as first concerns.<br>
 Last update: 20.jun.2023
-![](https://camo.githubusercontent.com/83d3746e5881c1867665223424263d8e604df233d0a11aae0813e0414d433943/68747470733a2f2f696d672e736869656c64732e696f2f62616467652f6c6963656e73652d4d49542d626c75652e737667)
 
 # What´s new? 
 

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)
 <!-- _class: titlepage -->
 
-<div class="title">Graph Algebra Representation of Formally Defined Programs in Z</div>
-<div class="subtitle">Using Haskell to Reason and Verify Programs</div>
-<div class="author">Leonard Kleinrock</div>
-<div class="date">01.jan.2022</div>
-<div class="organization">Formal Methods International Congress</div>
+<div class="title">De primae philosophiae Emendatione, et de Notione Substantiae</div>
+<div class="subtitle"> On the Correction of First Philosophy and the Notion of Substance </div>
+<div class="author">Gottfried Wilhelm Leibniz</div>
+<div class="date">Hannover, 1694</div>
+<div class="organization">Lausannae et Genevae</div>
 
 ---
 
 <!-- _class: titlepage -->
 
-# 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
 
 ---