⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 rtdocs.js

📁 sqlite的帮助文档
💻 JS
字号:
function populate_toc () {  var children = document.getElementsByTagName("h1").item(0).parentNode.childNodes  var toc = ""  var counters = new Array()  counters[1] = 0  counters[2] = 0  counters[3] = 0  counters[4] = 0  /* Generate the table of contents */  for(var ii=0; ii<children.length; ii++){    var node = children.item(ii)    var iHeader = -1    if( node.tagName == "H1" ){ iHeader = 1 }    if( node.tagName == "H2" ){ iHeader = 2 }    if( node.tagName == "H3" ){ iHeader = 3 }    if( node.tagName == "H4" ){ iHeader = 4 }    if( iHeader>0 ){      var anchor = "tocentry_" + ii      for(var jj=iHeader+1; jj<=4; jj++){ counters[jj] = 0 }      counters[iHeader]++      var number = ""      for(var jj=1; jj<=iHeader; jj++){ number += counters[jj] + "." }      toc += '<div style="margin-left:' + (iHeader*6) + 'ex">'      toc += '<a href="#' + anchor + '">' + number + " " + node.innerHTML      toc += "</a></div>"            var a = '<a style="color:inherit" name="' + anchor + '">' + number + '</a>'      node.innerHTML = a + " " + node.innerHTML    }  }  document.getElementById("toc").innerHTML = toc}function number_figs () {  /* Number the figures in this document */  var figcounter = 1  var spans = document.getElementsByTagName("span")  for(var ii=0; ii<spans.length; ii++){    var s = spans.item(ii)    if( s.className=="fig" ){      s.innerHTML = figcounter      figcounter++    }  }}function populate_refs () {  /* Fix up <cite> references */  var cites = document.getElementsByTagName("cite")  for(var ii=0; ii<cites.length; ii++){    var t = cites.item(ii).innerHTML    var h = document.getElementById(t)    if( !h ){      alert("Bad reference: " + t)      continue    }    var label    if( h.tagName=="H1" || h.tagName=="H2"     || h.tagName=="H3" || h.tagName=="H4"    ){      label = h.firstChild.firstChild.data      label = label.substring(0, label.length-1)    } else {      label = h.firstChild.data    }    cites.item(ii).innerHTML = '<a href="#' + t + '">' + label + '</a>'  }}function decorate_tables () {  /* Decorate tables */  var tables = document.getElementsByTagName("table")  for(var ii=0; ii<tables.length; ii++){    var t = tables.item(ii)    if( t.className!="striped" ) continue    var rows = t.rows    for(var jj=1; jj<rows.length; jj += 2){      rows.item(jj).style.backgroundColor = '#DDDDDD'    }  }}function check_for_duplicates () {  var aReq = new Array();  var ps = document.getElementsByTagName("p")  for(var ii=0; ii<ps.length; ii++){    var p = ps.item(ii)    if( p.className!="req" || !p.id ) continue;    if( aReq[p.id] ){      alert("Duplicate requirement number: " + p.id)    }    aReq[p.id] = 1;  }}onload = function () {  number_figs()  populate_toc()  populate_refs()  decorate_tables()  check_for_duplicates()}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -