*{margin:0;padding:0;box-sizing:border-box}:root{--bg-color: #ffffff;--text-color: #000000;--highlight-color: #daecff;--dim-table-color-1: #f1f2ff;--dim-table-color-2: #fff0f0}[data-theme=dark]{--bg-color: #191919;--text-color: #E0E0E0;--highlight-color: #3a3a3a;--dim-table-color-1: #1d2022;--dim-table-color-2: #161616}[data-theme=dark] .social-links img,[data-theme=dark] .logo{filter:invert(0.9)}[data-theme=dark] a{color:#1e90ff}[data-theme=dark] .typst-inline,[data-theme=dark] #swxyz,[data-theme=dark] #ragucircuit,[data-theme=dark] #orchardbundle,[data-theme=dark] #tachyaction,[data-theme=dark] #tachygrams,[data-theme=dark] #tachyon_keys{filter:invert(0.9)}[data-theme=dark] .typst-display{filter:invert(0.9)}.typst-display{display:block;margin:0 auto}a{color:blue;text-decoration:none}a:hover{text-decoration:underline}body{font-family:"Noto Sans",Arial,sans-serif;font-size:16px;line-height:1.75;background-color:var(--bg-color);color:var(--text-color);display:flex;flex-direction:column;min-height:100vh}body .logo{width:64px;height:64px;background:url("/sb-128x128.png") no-repeat center center;background-size:64px 64px}body h1{line-height:1.25}.container{width:90%;max-width:748px;margin:0 auto;padding:0 15px;box-sizing:border-box}.zola-anchor{text-decoration:none;padding-right:10px;font-size:.5em;vertical-align:middle}header{display:flex;justify-content:space-between;align-items:center;padding:10px 0;border-bottom:1px solid var(--text-color);background-color:var(--bg-color)}header nav{display:flex;gap:15px}header nav .nav-button{text-decoration:none;font-weight:bold;color:var(--text-color);padding:5px 10px;border-radius:5px;transition:background-color .3s,color .3s}header nav .nav-button:hover{background-color:var(--highlight-color);color:var(--bg-color)}header nav .nav-button.active{position:relative;color:var(--text-color)}header nav .nav-button.active::after{content:"";position:absolute;bottom:-2px;left:0;width:100%;height:3px;background-color:orange}main{display:flex;flex-wrap:wrap;gap:20px;padding:20px 0;width:100%;justify-content:space-between;padding-bottom:60px}main ul,main ol{padding-left:30px}main section{width:100%;overflow:auto;padding-bottom:20px}main section .subtitle{font-style:italic;color:gray;margin-left:0}main section .subtitle .edithistory{font-size:.6em;color:var(--text-color);float:right;margin-right:10px}main section .title{margin:0;font-size:32px;padding-bottom:5px}main .section-frame.justified p,main li{text-align:justify}main .section-frame{display:flex;flex-direction:column;gap:10px;flex:1 1 calc(50% - 20px);overflow-wrap:break-word;margin-top:20px}main .section-frame span{font-style:italic;color:gray;margin-left:0}@media (max-width: 768px){main .section-frame{flex:1 1 100%}}.social-links{display:grid;grid-template-columns:1fr auto;gap:20px;padding:0;margin:0;max-width:100%}.social-links li{display:flex;align-items:center;border-radius:10px;padding:5px;transition:background-color .3s,transform .3s,outline .3s;white-space:nowrap;cursor:pointer}.social-links li:hover{outline:2px solid var(--highlight-color);transform:scale(1.05);background-color:var(--highlight-color)}.social-links li a{text-decoration:none;color:var(--text-color);display:flex;align-items:center;gap:10px;font-size:1rem;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;flex:1}.papers-list{list-style:none;padding:0;margin:0}.papers-list li{margin-bottom:10px;font-size:1rem;display:flex;flex-direction:column}.papers-list li a{font-weight:bold;text-decoration:underline;color:var(--text-color)}.papers-list li span{font-style:italic;color:gray;margin-left:0}.post-list ul{list-style:none;padding:0;margin:0}.post-list li:nth-child(odd){background-color:var(--dim-table-color-1)}.post-list li:nth-child(even){background-color:var(--dim-table-color-2)}.post-list .row{display:flex;justify-content:space-between;align-items:flex-start;padding:8px 12px;gap:1rem}.post-list .row a{flex:1;word-break:break-word}.post-list .row span{white-space:nowrap;margin-left:auto;color:gray;font-style:italic}.footnote-reference{padding-left:2px;line-height:0}.footnote-reference a:before{content:"["}.footnote-reference a:after{content:"]"}.footnote-reference a{text-decoration:none}.footnote-definition{font-size:.75em;display:flex}.footnote-definition sup{justify-content:space-between;margin-right:10px;margin-top:1px}.footnote-definition:target{background-color:var(--highlight-color)}.footer-wrapper{position:fixed;bottom:0;left:0;width:100%;background-color:var(--bg-color);border-top:1px solid var(--text-color);z-index:999}.footer-wrapper .footer-container{width:90%;max-width:748px;margin:0 auto;padding:15px 15px;box-sizing:border-box;display:flex;align-items:center;justify-content:space-between;height:40px}.footer-wrapper .dark-mode-toggle{cursor:pointer;padding:5px 10px;border:1px solid var(--text-color);border-radius:5px;background:none;color:var(--text-color)}pre{padding:1rem;overflow:auto}pre[data-linenos]{padding:1rem 0}pre table td{padding:0}pre table td:nth-of-type(1){text-align:center;vertical-align:top;user-select:none}pre mark{display:block;background-color:rgba(254,252,232,.9)}pre table{width:100%;border-collapse:collapse}blockquote{border-left:4px solid var(--text-color);padding:.5rem 1rem;margin:0;font-style:italic;background-color:var(--highlight-color);line-height:30px}blockquote img{height:32px;width:32px;vertical-align:top}p code,h1 code,h2 code,h3 code,h4 code,h5 code,li code{background-color:var(--highlight-color);padding:2px;padding-top:0px;padding-bottom:0px;line-height:10px}h6{align-items:center}h6 .zola-anchor{display:none}h6 img{display:block;margin:auto}h6#swxyz img{width:100%}h6#ragucircuit img{width:100%}h6#orchard_vs_tachyon{margin:auto}h6#orchard_vs_tachyon img{width:359px;height:346px}h6#tachyaction img{width:100%}h6#tachygrams img{width:100%}h6#tachyon_keys img{width:100%}