Merge pull request #217 from ge0rg/master

Improve rendering of <example> and div.example HTML
This commit is contained in:
Kevin Smith 2016-08-18 14:22:39 +01:00 committed by GitHub
commit ee6bd64538
2 changed files with 7 additions and 4 deletions

View File

@ -11,7 +11,6 @@
.atn { color: #606; }
.atv { color: #080; }
.dec { color: #606; }
pre.prettyprint { padding: 2px; border: 1px solid #888; }
@media print {
.str { color: #060; }

View File

@ -55,6 +55,9 @@ H1, H2, H3, H4, H5, H6 {
}
pre {
font-family: Courier, monospace;
background-color: #e0e9f2;
padding: 0.4em;
border: 1px solid #369;
}
ul {
list-style: disc outside;
@ -91,9 +94,10 @@ ul {
font-style: italic;
}
.example {
background-color: yellow;
margin-left: 5%;
margin-right: 25%;
background-color: #f2ee6e;
margin: 0.4em 5%;
border: 1px solid #999633;
padding: 0 0.4em;
}
.indent {
padding-left: 5%;