forked from mirror/doctest
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
97 lines
2.4 KiB
CSS
97 lines
2.4 KiB
CSS
/**
|
|
* StrapDown.js - an on-the-fly markdown parser
|
|
* Copyright (C) 2014, Lilian Besson. (GPLv3 Licensed)
|
|
* https://lbesson.bitbucket.org/md/
|
|
*/
|
|
|
|
/*
|
|
* This chunk is to fix Bootstrap so that the Markdown output looks good
|
|
*/
|
|
|
|
body {
|
|
padding-top: 60px;
|
|
padding-bottom: 40px;
|
|
font-size: 15px;
|
|
line-height: 150%;
|
|
}
|
|
|
|
/*xmp, textarea {
|
|
display: none;
|
|
}*/
|
|
|
|
h1,h2,h3,h4 {
|
|
margin: 15px 0;
|
|
}
|
|
pre {
|
|
margin: 20px 0;
|
|
}
|
|
img {
|
|
margin: 10px 0;
|
|
}
|
|
.navbar {
|
|
z-index: 1;
|
|
}
|
|
.table {
|
|
width: auto;
|
|
}
|
|
|
|
/*
|
|
* This chunk is for Google's Code Prettify:
|
|
* http://google-code-prettify.googlecode.com
|
|
*/
|
|
|
|
/* Pretty printing styles. Used with prettify.js. */
|
|
/* SPAN elements with the classes below are added by prettyprint. */
|
|
.pln { color: #000 } /* plain text */
|
|
|
|
@media screen {
|
|
.str { color: #080 } /* string content */
|
|
.kwd { color: #008 } /* a keyword */
|
|
.com { color: #800 } /* a comment */
|
|
.typ { color: #606 } /* a type name */
|
|
.lit { color: #066 } /* a literal value */
|
|
/* punctuation, lisp open bracket, lisp close bracket */
|
|
.pun, .opn, .clo { color: #660 }
|
|
.tag { color: #008 } /* a markup tag name */
|
|
.atn { color: #606 } /* a markup attribute name */
|
|
.atv { color: #080 } /* a markup attribute value */
|
|
.dec, .var { color: #606 } /* a declaration; a variable name */
|
|
.fun { color: red } /* a function name */
|
|
}
|
|
|
|
/* Use higher contrast and text-weight for printable form. */
|
|
@media print, projection {
|
|
.str { color: #060 }
|
|
.kwd { color: #006; font-weight: bold }
|
|
.com { color: #600; font-style: italic }
|
|
.typ { color: #404; font-weight: bold }
|
|
.lit { color: #044 }
|
|
.pun, .opn, .clo { color: #440 }
|
|
.tag { color: #006; font-weight: bold }
|
|
.atn { color: #404 }
|
|
.atv { color: #060 }
|
|
}
|
|
|
|
/* Put a border around prettyprinted code snippets. */
|
|
pre.prettyprint { padding: 2px; border: 1px solid #888 }
|
|
|
|
/* Specify class=linenums on a pre to get line numbering */
|
|
ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */
|
|
li.L0, li.L1, li.L2, li.L3, li.L5, li.L6, li.L7, li.L8 { list-style-type: none }
|
|
/* Alternate shading for lines */
|
|
li.L1, li.L3, li.L5, li.L7, li.L9 { background: #eee }
|
|
|
|
/* Fix for (C) banner on top */
|
|
#headline-copyrights {
|
|
float:right;
|
|
margin-right:5px;
|
|
text-align:right;
|
|
font-size: 70%;
|
|
}
|
|
/* Fix for Squirt banner on top */
|
|
#headline-squirt {
|
|
float: right;
|
|
text-align:right;
|
|
font-size: 70%;
|
|
}
|