document.addEventListener('DOMContentLoaded', function () {
    document.querySelectorAll('.highlight pre').forEach(function (pre) {
        pre.innerHTML = pre.innerHTML.replace(
            /((?:^|\n|>))(ria)(?=[ \t]|<)/g,
            '$1<span class="ria-cmd">$2</span>'
        );
    });
});