From 14ec828446ba5148a34cdb7cd3fe764b1ac69be1 Mon Sep 17 00:00:00 2001 From: Karl Swedberg Date: Tue, 29 May 2012 14:02:38 -0400 Subject: [PATCH] prettify code blocks for api site --- themes/jquery/css/prettify.css | 44 + themes/jquery/footer.php | 11 +- themes/jquery/header.php | 82 +- themes/jquery/js/prettify.js | 1508 ++++++++++++++++++++++++++++++++ themes/jquery/js/scripts.js | 26 +- 5 files changed, 1620 insertions(+), 51 deletions(-) create mode 100644 themes/jquery/css/prettify.css create mode 100644 themes/jquery/js/prettify.js diff --git a/themes/jquery/css/prettify.css b/themes/jquery/css/prettify.css new file mode 100644 index 00000000..221bd0c6 --- /dev/null +++ b/themes/jquery/css/prettify.css @@ -0,0 +1,44 @@ +/* Pretty printing styles. Used with prettify.js. */ + +.str { color: #080; } +.kwd { color: #008; } +.com { color: #800; } +.typ { color: #606; } +.lit { color: #066; } +.pun { color: #660; } +.pln { color: #000; } +.tag { color: #008; } +.atn { color: #606; } +.atv { color: #080; } +.dec { color: #606; } +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 } + +@media print { + .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 { color: #440; } + .pln { color: #000; } + .tag { color: #006; font-weight: bold; } + .atn { color: #404; } + .atv { color: #060; } +} diff --git a/themes/jquery/footer.php b/themes/jquery/footer.php index 8fd32a16..78694ea5 100755 --- a/themes/jquery/footer.php +++ b/themes/jquery/footer.php @@ -1,12 +1,14 @@ + -