.symbolic-parts{display:grid;gap:5px;max-height:290px;overflow:auto;padding:5px 3px}.symbolic-parts button{text-align:left;overflow-wrap:anywhere;font:13px/1.5 ui-monospace,monospace;min-width:0}.symbolic-parts button[aria-pressed=true]{background:#e9ddfa;border-color:#7654b5;color:#493074}.symbolic-history{padding-left:22px;margin:10px 0}.symbolic-history li{padding:4px 0}.symbolic-history button{text-align:left;overflow-wrap:anywhere;max-width:100%;font-size:.75rem}.symbolic-history button[aria-current=step]{background:#efe6fa;border-color:#7654b5}.symbolic-history .hint{margin:5px 0;font-size:.68rem}#symbolic-current{background:#f4eef9;padding:12px;border-radius:12px}#symbolic-current .math-output{font-size:1.15rem}body[data-jke-device-profile=tablet] .tool-tabs{flex-wrap:wrap}.tool-page[data-tool-page=symbolic]>.cluster{margin:10px 0}