/** * Makes HTML documentation interactive * * @licstart The following is the entire license notice for the JavaScript * code in this page. * * Copyright (C) 2011 Free Software Foundation, Inc. * * This program is free software: you can redistribute it and/or modify it * under the terms of the GNU General Public License as published by the * Free Software Foundation, either version 3 of the License, or (at your * option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program. If not, see . * * @licend The above is the entire license notice for the JavaScript code * in this page. */ var head = document.getElementsByTagName( 'head' )[ 0 ], css = document.createElement( 'link' ); css.type = 'text/css'; css.rel = 'stylesheet'; // quick-n-dirty sub and super script impl (it is by no means // perfect) var vars = document.getElementsByTagName( 'var' ), chk = /\\/; for ( var i in vars ) { var v = vars[ i ]; if ( !chk.test( v.innerHTML ) ) { continue; } v.innerHTML = v.innerHTML .replace( /(\\.*)$/, '
$1
' ) .replace( /\\_([^ \\]+)/, '$1' ) .replace( /\\\^([^ \\]+)/, '$1' ) .replace( /(<\/su[bp]>/, '$1 class="left">' ); } var hlnodes = document.querySelectorAll( '.verbatim, .samp, .code, .example' ); // highlight code blocks for ( var i in hlnodes ) { hljs.highlightBlock( hlnodes[ i ], ' ' ); }