css: Render org exported HTML more nicely.

diff --git a/static/css/screen.css b/static/css/screen.css
index 8fb70587d1322c6cc9599b680b11d00d3557036f..33c37bb0885f50ba15890b8191406e0bee3fa584 100644 (file)
--- a/static/css/screen.css
+++ b/static/css/screen.css
@@ -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;