Skip to content

Instantly share code, notes, and snippets.

(function () {
function fillManual() {
const mainDiv = document.createElement('div');
mainDiv.classList.add('main', 'scrollable');
mainDiv.setAttribute('id', 'ms-main-manual');
const tocDiv = document.createElement('div');
tocDiv.setAttribute('id', 'ms-toc-manual');
const manualDiv = document.createElement('div');
body {
font-family: Roboto, "Segoe UI", Helvetica, Arial, sans-serif;
font-weight: 400;
line-height: 20px;
font-size: 14px;
color: #091739;
}
*, *::before, *::after {
box-sizing: border-box;