##// END OF EJS Templates
Merge pull request #5671 from ncornette/master...
Matthias Bussonnier -
r16366:e635c805 merge
parent child Browse files
Show More
@@ -55,9 +55,16 b''
55 55 <!-- For syntax highlighting -->
56 56 <link rel="stylesheet" href="{{resources.reveal.url_prefix}}/lib/css/zenburn.css">
57 57
58 <!-- If the query includes 'print-pdf', use the PDF print sheet -->
58 <!-- If the query includes 'print-pdf', include the PDF print sheet -->
59 59 <script>
60 document.write( '<link rel="stylesheet" href="{{resources.reveal.url_prefix}}/css/print/' + ( window.location.search.match( /print-pdf/gi ) ? 'pdf' : 'paper' ) + '.css" type="text/css" media="print">' );
60 if( window.location.search.match( /print-pdf/gi ) ) {
61 var link = document.createElement( 'link' );
62 link.rel = 'stylesheet';
63 link.type = 'text/css';
64 link.href = '{{resources.reveal.url_prefix}}/css/print/pdf.css';
65 document.getElementsByTagName( 'head' )[0].appendChild( link );
66 }
67
61 68 </script>
62 69
63 70 <!--[if lt IE 9]>
General Comments 0
You need to be logged in to leave comments. Login now