☰

给 p5js.org 加分段

2022/4/18 12:38:58

  1. // ==UserScript==
  2. // @name        给 p5js.org 加分段
  3. // @namespace   leizingyiu.net
  4. // @match       http*://p5js.org/*
  5. // @grant       none
  6. // @version     0.0.1
  7. // @author      leizingyiu
  8. // @description 2022/4/18 12:38:58
  9. // @license     GNU AGPLv3 
  10. // ==/UserScript==
  11.  
  12.  
  13. function yiu_styling_p5js_org(){
  14.   [...document.querySelectorAll('p')].map(p=>{
  15.     p.innerHTML=p.innerHTML.replace(/(•)/g,`<span class='yiu_br'></span>$1`);
  16.   });
  17.  
  18.   var style_id='yiu_style';
  19.   var style_innerHTML=`
  20.   .yiu_br{
  21.   height:1em;
  22.   width:100%;
  23.   display:block;
  24.   }
  25.   
  26.   p{
  27.     border-top: solid 1px #eee;
  28.     margin-top: 1em;
  29.   }
  30.   
  31.   .paramtype p {
  32.     border-top: initial;
  33.     margin-top: initial;
  34.   }
  35.   
  36.   .paramtype p em{
  37.     display:block;
  38.     margin-top:1em;
  39.   }
  40.   
  41.   .paramname{
  42.     max-width: 25%;
  43.   }
  44.   `;
  45.  
  46.   if(document.getElementById(style_id)){
  47.     document.getElementById(style_id).innerHTML=style_innerHTML;
  48.   }else{
  49.     let style=document.createElement('style');
  50.     style.id=style_id;
  51.     style.innerHTML=style_innerHTML;
  52.     document.head.appendChild(style);
  53.   }
  54. }
  55.  
  56. if(document.body){
  57.   main=String(yiu_styling_p5js_org);
  58.   
  59.   window.addEventListener('load',()=>{
  60.     setTimeout("eval('('+main+')()')",500);
  61.   });
  62. }
  63.  
  64.