-<style type="text/css">
-.app-grauphel #app-content {
- box-sizing: border-box;
- padding: 2ex;
-}
-
-.app-grauphel #app-content h1 {
- font-weight: bold;
- font-size: 2em;
- margin-bottom: 1ex;
-}
-.app-grauphel #app-content h2 {
- font-weight: bold;
- font-size: 150%;
- margin-bottom: 1ex;
- margin-top: 2ex;
-}
-.app-grauphel #app-content dt {
- font-weight: bold;
-}
-.app-grauphel #app-content dd {
- margin-left: 3ex;
-}
-.app-grauphel #app-content pre {
- margin: 1em;
- background-color: #DDD;
- padding: 1ex;
- font-family: monospace;
-}
-</style>