:Style updates for Org mode output

master
Mike Gerwitz 2014-12-07 00:24:56 -05:00
parent d0397cbe1b
commit 2f1a0d9bb8
No known key found for this signature in database
GPG Key ID: F22BB8158EE30EAB
1 changed files with 70 additions and 0 deletions

View File

@ -51,6 +51,7 @@ h1.title,
#header h1 { #header h1 {
font-size: 2em; font-size: 2em;
margin-bottom: 0.1em; margin-bottom: 0.1em;
text-align: left;
} }
h2.desc { h2.desc {
@ -228,6 +229,22 @@ body.content .abstract .start {
font-weight: bold; font-weight: bold;
} }
dl > dd {
margin-bottom: 0.5em;
}
dl > dd > dl {
margin-top: 1em;
}
dl > dd > p:last-child {
margin-bottom: 0px;
}
#postamble > p {
margin: 0em;
}
/** exclusively asciidoc-generated content styling **/ /** exclusively asciidoc-generated content styling **/
body.article h2 { body.article h2 {
@ -362,6 +379,59 @@ body.article h3 {
} }
/*** Org mode HTML output ***/
/* much of the above will overlap, so only some is needed here */
#postamble {
margin: 2em -5em 0em -5em;
text-align: left;
font-size: 0.9em;
border-top: 1px solid #babdb6;
padding-top: 0.5em;
}
.todo, .done {
font-size: 0.1em;
letter-spacing: -0.1em;
color: transparent;
}
/* note that we must undo our hiding */
.todo::before,
.done::before {
position: absolute;
visibility: visible;
letter-spacing: normal;
font-size: 12em;
left: -1.5em;
top: -0.1em;
font-weight: bold;
}
.todo::before {
color: black;
content: '☐';
}
.done::before {
color: #4e9a06;
content: '☑';
}
/* eases positioning in, e.g., margin */
.outline-1,
.outline-2,
.outline-3 {
position: relative;
}
#table-of-contents .todo,
#table-of-contents .done {
display: none;
}
/*** https://github.com/jgm/highlighting-kate/blob/master/css/hk-tango.css * ***/ /*** https://github.com/jgm/highlighting-kate/blob/master/css/hk-tango.css * ***/
/* Loosely based on pygment's tango colors */ /* Loosely based on pygment's tango colors */
table.sourceCode, tr.sourceCode, td.sourceCode, table.sourceCode pre table.sourceCode, tr.sourceCode, td.sourceCode, table.sourceCode pre