Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- wenndann:if:schwimmbad:start [2020/06/29 10:26] – angelegt Martin Pabst
+++ wenndann:if:schwimmbad:start [2020/06/29 10:27] – Martin Pabst
@@ Zeile 10: / Zeile 10: @@
 <HTML>
-<div class="java-online" style="height: 500px; width: 100%" data-java-online="{'withBottomPanel': false, 'id': 'WennDann6'}">
+<div class="java-online" style="height: 400px; width: 100%" data-java-online="{'withBottomPanel': false, 'id': 'WennDann6'}">
 <script type="text/plain" title="Main.java">