という時間を貼り付けるためのbookmarklet javascript:(function(){function trim(num,l){if(num0){num='0'+num;--s;}return num;};var d=new Date,YYYY=trim(d.getFullYear(),4),MM_1=trim(d.getMonth()+1,2),DD=trim(d.getDate(),2),T='T',HH=trim(d.getHours(),2),MM_2=trim(d.getMinutes(),2),SS=trim(d.getSeconds(),…
