body { padding-top: 120px; } /* Dieser Wert muss ebenfalls in "main.js" in die Variable "gintContentPaddingTop" eingetragen werden */

/* Schriftformatierung */
h1.content { margin-top:40px; }
h2.content { margin-top:60px; }
h3.content { margin-top:50px; }
h4.content { margin-top:40px; }

/* Code Ausgabe */
pre.sourcecode code:before { content: attr(title)': '; padding: 0; color: #999; }
pre.sourcecode { overflow-x:auto; }
pre.sourcecode:hover code:before { content: '\20\20\20'; }
div.codebox { font-family: Courier; -webkit-user-select: text; -moz-user-select: text; -ms-user-select: text; user-select: text; border: 1px solid #303030; font-size: large; background-color: #F0F0F0; padding-left: 5px; padding-right: 5px; }

/* Rahmen für die Bilder */
img.imgBorder { display: flex; margin 0; border: 1px solid #303030; }

/* Schriftgröße für das Seitendatum */
p.siteDate { font-size: 10px; }
a.siteDate { font-size: 10px; text-decoration: none; color: #000000; }

/* Pseudo Link ohne href */
a.pLink {
  style="cursor:pointer;
  cursor:hand;
  text-decoration: underline;
}