<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">"use strict";DO.widget.editEmbedHtmlTable=function(){$(document).ready((function(){$(".embed-html").load((function(){var e=document.createElement("style"),t=document.createElement("script");if(e.innerText="table {table-layout: auto!important; width: auto!important;transform-origin:top left;} ::-webkit-scrollbar {width: 14px;} ::-webkit-scrollbar-thumb {border: 4px solid rgba(0, 0, 0, 0); background-clip: padding-box; border-radius: 9999px; background-color: #AAAAAA;}table tr, table td{height: auto!important; font-size: inherit !important;}table td{padding: 0.2em 0.5em !important; width: auto !important; white-space: normal !important; vertical-align: baseline !important;}table font, table sup {font-size: inherit !important;} table sup {vertical-align: baseline !important;}",t.innerText="\n                const table = document.querySelector('table');\n                const parent = table.parentNode;\n                const initialFontSize = 14;\n                const colgroup = table.querySelector('colgroup');\n                let timeout = 0;\n                let newFontSize = initialFontSize;\n                \n                if (colgroup) {\n                    colgroup.remove();\n                }\n                                \n                const changeFontSize = (delta) =&gt; {\n                    newFontSize = parseFloat(newFontSize) + parseFloat(0.5 * delta);\n                    table.style.fontSize = newFontSize + 'px';\n                    if (table.offsetWidth &gt; parent.offsetWidth) {\n                        changeFontSize(delta);\n                    }\n                };\n                 \n                const onResize = () =&gt; {\n                    if (window.innerWidth &gt; 1000) {\n                        changeFontSize(table.offsetWidth &gt; parent.offsetWidth ? -1 : 1);\n                    } else {\n                        table.style.fontSize = '10px';\n                    }\n                };\n                \n                window.addEventListener('resize', () =&gt; {\n                    clearTimeout(timeout);\n                \n                    timeout = setTimeout(() =&gt; {\n                        onResize();\n                    }, 100);\n                });\n                \n                onResize();\n            ",frames["embed-html"].length)for(var n=0;n&lt;frames["embed-html"].length-1;n++)frames["embed-html"][n].contentDocument.body.appendChild(e),frames["embed-html"][n].contentDocument.body.appendChild(t);else frames["embed-html"].contentDocument.body.appendChild(e),frames["embed-html"].contentDocument.body.appendChild(t)}))}))},new DO.widget.editEmbedHtmlTable;</pre></body></html>