1 .app-grauphel #app-content {
2 box-sizing: border-box;
6 .app-grauphel #app-content h1 {
11 .app-grauphel #app-content h2 {
17 .app-grauphel #app-content dt {
20 .app-grauphel #app-content dd {
23 .app-grauphel #app-content pre {
25 background-color: #DDD;
27 font-family: monospace;
30 .app-grauphel #app-content ul {
31 list-style-type: disc;
34 .app-grauphel #app-content li {
37 .app-grauphel #app-content a.lined {
38 text-decoration: underline;