Greasy Fork is available in English.

印務局( io.gov.mo) 增強 script

查看法例的好幫手

  1. // ==UserScript==
  2. // @name 印務局( io.gov.mo) 增強 script
  3. // @namespace asldufhiu32hr9283hf83123
  4. // @include http*://bo.io.gov.mo/bo/i*
  5. // @require https://code.jquery.com/jquery-3.3.1.slim.min.js
  6. // @description 查看法例的好幫手
  7. // @version 1.1
  8. // @grant none
  9. // ==/UserScript==
  10.  
  11. var W_PANE = 600;
  12.  
  13. var s="<div id='div_pane_index' style='left:-"+W_PANE+"px; top:9%; width:"+W_PANE+"px; height:79%; position: fixed; background: #FFFFFF; border: 3px solid #EEAAAA; padding: 6px; overflow-x: hidden; overflow-y: hidden; font-size:13px; opacity:0.9; filter:alpha(opacity=90);'>";
  14.  
  15. var h = $('h2,h3');
  16.  
  17. for( var i=0; i<h.length; i++ ){
  18. var I = i;
  19. h.eq(i).attr("anchor_index", i);
  20. var text = h.eq(i).text();
  21. if( (text.indexOf("第")==0 || text.indexOf("附件")==0 || text.indexOf("表")==0
  22. || text.indexOf("Artigo ")==0 || text.indexOf("CAPÍTULO ")==0 || text.indexOf("SECÇÃO ")==0 )
  23. && i+1<h.length ){
  24. i++;
  25. text += " <b>" + h.eq(i).text() + "</b>";
  26. }
  27. s += "<span style='display:block; cursor: pointer; padding-left:50px;text-indent:-50px;' index='"+I+"'>"+ text + "</span>";
  28. // onclick='$(\"[anchor_index="+I+"]\").css(\"background-color\":\"#DC9900\").animate({\"background-color\":\"#FFFFFF\"},2000);'>"+ text + "</span>";
  29. // [0].scrollIntoView();
  30. }
  31.  
  32. s += "</div>";
  33. $('body').append( s);
  34.  
  35. $('#div_pane_index>span').click( function(){
  36. var t = $("[anchor_index="+$(this).attr("index")+"]");
  37. t[0].scrollIntoView();
  38. t.css({
  39. transition: '0s',
  40. 'background-color': '#ffe600',
  41. });
  42. setTimeout(function() {
  43. t.css({
  44. transition: "10s",
  45. "background-color": "#ffe60000",
  46. })
  47. },1);
  48. } );
  49.  
  50. $("<style type='text/css'> #div_pane_index>span:hover{ background-color:#EEee77; } #div_pane_index:hover{ left:0 !important; overflow-y: auto !important; } </style>").appendTo("head");