Common.css

Note: After saving, you may have to bypass your browser's cache to see the changes.

• Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
• Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
• Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
• Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.

/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */
/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */

pre {
      margin:2em 0;
   }
#content #bodyContent h2 {
    font-size: 1.375rem;
   	border-bottom: 1px solid rgb(174, 174, 174);
	padding-bottom: 2px;
    margin-top: 2.5rem;
    margin-bottom: 2rem;
}
#content #bodyContent h3 {
    font-size: 1.2rem;
    margin-top: 2.5rem;
    margin-bottom: 2rem;
}
#content #bodyContent h4 {
    font-size: 1rem;
    margin: 2rem 0;
}
#content #bodyContent ol > li {
    margin-bottom: 1rem;
}
a.image img {
    padding: 2em 0;
}