/* Floating theme switcher — dev tool to compare themes. Not part of the
   original design; sits fixed top-right and never affects table layout. */
#theme-switch{
  position:fixed; top:8px; right:8px; z-index:9999;
  font-family:Tahoma,Arial,sans-serif; font-size:11px;
  background:rgba(20,4,4,.88); color:#e9c98a;
  border:1px solid #7a2b2b; border-radius:6px;
  padding:5px 8px; display:flex; gap:6px; align-items:center;
  box-shadow:0 2px 8px rgba(0,0,0,.5);
}
#theme-switch .ts-label{opacity:.7}
#theme-switch .ts-opt{
  color:#e9c98a; text-decoration:none; padding:2px 7px;
  border:1px solid transparent; border-radius:4px;
}
#theme-switch .ts-opt:hover{border-color:#7a2b2b}
#theme-switch .ts-opt.active{background:#7a2b2b; color:#fff}
@media(max-width:640px){#theme-switch{font-size:10px; padding:4px 6px}}