Sandbox/Terminal-JavaScript-PHP

🚧	Geht, aber die Mischung aus ext. PHP und CSS ist unschön. Außerdem verkackt er alle <pre>-Blöcke (s.u.)!