css: Render org exported HTML more nicely.
authorRicardo Wurmus <rekado@elephly.net>
Mon, 9 Jan 2017 12:46:23 +0000 (13:46 +0100)
committerRicardo Wurmus <rekado@elephly.net>
Mon, 9 Jan 2017 12:46:23 +0000 (13:46 +0100)
static/css/screen.css

index 8fb7058..33c37bb 100644 (file)
@@ -74,11 +74,17 @@ div.figure {
     text-align: center;
     font-size: 0.8rem; }
 
-div.footnotes {
+h2.footnotes {
+    font-size: 1rem; }
+div.footnotes, #footnotes {
   margin-top: 1rem;
   padding-top: 1rem;
+  font-size: 0.9rem;
   border-top: 1px dotted #aaaaaa; }
 
+div.footpara {
+    display: inline; }
+
 iframe {
     margin-top: 1rem;
     margin-bottom: 1rem; }
@@ -104,7 +110,10 @@ h1:first-child {
         margin-top: 1rem; }}
 
 * + h2, * + h3 {
-  margin-top: 1.5rem; }
+    margin-top: 1.5rem; }
+
+.outline-2 {
+    margin-top: 1.5rem; }
 
 h2, h3 {
   color: #333;
@@ -209,7 +218,7 @@ warning {
   border-radius: 3px;
   display: block; }
 
-pre {
+pre, .org-src-container {
   margin: 1rem;
   padding: 1rem;
   display: inline-block;
@@ -221,10 +230,20 @@ pre.lyrics {
   padding: 0rem;
   background: transparent; }
 
-pre code {
+.org-src-container, pre.example {
+    color: #aaff00;
+    display: block;
+    overflow-x: auto;
+    font-size: .85rem; }
+
+pre code, .org-src-container pre {
   color: #aaff00;
   background: transparent; }
 
+.org-src-container pre {
+    margin: 0;
+    padding: 0; }
+
 img.flickr {
   position: relative;
   display: block;