details.src{margin:.5rem 0 1.5rem}details.src summary{cursor:pointer;color:#7ca0ff;font-size:.85rem;padding:.25rem 0}details.src summary:hover{color:#ffd666}details.src pre{margin:.5rem 0 0}