// TODO: show selected op spaces with highlight / pawn ? // Factions const GOVT = 0 const FARC = 1 const AUC = 2 const CARTELS = 3 const GOVT_AUC = 4 const FARC_CARTELS = 5 const AUC_CARTELS = 6 // Pieces const BASE = 0 const GUERRILLA = 1 const TROOPS = 2 const POLICE = 3 const first_piece = data.first_piece const last_piece = data.last_piece const first_pop = data.first_pop const first_city = data.first_city const last_city = data.last_city const first_dept = data.first_dept const last_pop = data.last_pop const last_dept = data.last_dept const first_foreign = data.first_foreign const last_foreign = data.last_foreign const first_loc = data.first_loc const last_loc = data.last_loc // Spaces const AVAILABLE = -1 // Sequence of Play options const ELIGIBLE = 0 const SOP_A1 = 1 const SOP_A2 = 2 const SOP_B1 = 3 const SOP_B2 = 4 const SOP_C1 = 5 const SOP_C2 = 6 const SOP_PASS = 7 const INELIGIBLE = 8 const capability_events = [ 1, 2, 3, 7, 9, 10, 11, 13 ] const momentum_events = [ 12, 17, 22, 27, 42, 67 ] const CAP_1ST_DIV = 1 const CAP_OSPINA = 2 const CAP_TAPIAS = 3 const CAP_7TH_SF = 7 const CAP_MTN_BNS = 9 const CAP_BLACK_HAWKS = 10 const CAP_NDSC = 11 const CAP_METEORO = 13 const MOM_PLAN_COLOMBIA = 12 const MOM_MADRID_DONORS = 17 const MOM_ALFONSO_CANO = 22 const MOM_MISIL_ANTIAEREO = 27 const MOM_SENADO_CAMARA = 42 const MOM_MEXICAN_TRAFFICKERS = 67 let ui = { favicon: document.getElementById("favicon"), header: document.querySelector("header"), player: [ document.getElementById("role_Government"), document.getElementById("role_FARC"), document.getElementById("role_AUC"), document.getElementById("role_Cartels"), document.getElementById("role_Government_+_AUC"), document.getElementById("role_FARC_+_Cartels"), document.getElementById("role_AUC_+_Cartels"), ], capabilities: { [CAP_1ST_DIV]: document.getElementById("cap_first_div"), [CAP_OSPINA]: document.getElementById("cap_ospina"), [CAP_TAPIAS]: document.getElementById("cap_tapias"), [CAP_7TH_SF]: document.getElementById("cap_seventh_sf"), [CAP_MTN_BNS]: document.getElementById("cap_mtn_bns"), [CAP_BLACK_HAWKS]: document.getElementById("cap_black_hawks"), [CAP_NDSC]: document.getElementById("cap_ndsc"), [CAP_METEORO]: document.getElementById("cap_meteoro"), }, momentum: { [MOM_PLAN_COLOMBIA]: document.getElementById("mom_12"), [MOM_MADRID_DONORS]: document.getElementById("mom_17"), [MOM_ALFONSO_CANO]: document.getElementById("mom_22"), [MOM_MISIL_ANTIAEREO]: document.getElementById("mom_27"), [MOM_SENADO_CAMARA]: document.getElementById("mom_42"), [MOM_MEXICAN_TRAFFICKERS]: document.getElementById("mom_67"), }, spaces: [], control: [], support: [], sabotage: [], terror: [], next_card: document.getElementById("next_card"), this_card: document.getElementById("this_card"), deck_size: document.getElementById("deck_size"), sop: [ null, document.getElementById("SOP_A1"), document.getElementById("SOP_A2"), document.getElementById("SOP_B1"), document.getElementById("SOP_B2"), document.getElementById("SOP_C1"), document.getElementById("SOP_C2"), document.getElementById("SOP_PASS"), ], tokens: { aid: document.getElementById("token_aid"), total_support: document.getElementById("token_total_support"), oppose_plus_bases: document.getElementById("token_oppose_plus_bases"), president: document.getElementById("token_el_presidente"), propaganda: document.getElementById("token_prop_card"), }, pieces: [], resources: [ document.getElementById("govt_resources"), document.getElementById("farc_resources"), document.getElementById("auc_resources"), document.getElementById("cartels_resources"), ], cylinder: [ document.getElementById("govt_cylinder"), document.getElementById("farc_cylinder"), document.getElementById("auc_cylinder"), document.getElementById("cartels_cylinder"), ], } function create(t, p, ...c) { let e = document.createElement(t) Object.assign(e, p) e.append(c) return e } function register_action(e, action, id) { e.my_action = action e.my_id = id e.onclick = on_click_action } function is_action(action, arg) { if (arg === undefined) return !!(view.actions && view.actions[action] === 1) return !!(view.actions && view.actions[action] && set_has(view.actions[action], arg)) } function toggle_pieces() { document.getElementById("pieces").classList.toggle("hide") } function on_click_action(evt) { if (evt.button === 0) send_action(evt.target.my_action, evt.target.my_id) } const center_xy = { "Santa Marta": [682,436], "Cartagena": [500,512], "Sincelejo": [514,708], "Medellin": [513,1066], "Ibague": [507,1278], "Cali": [391,1497], "Pasto": [274,1783], "Neiva": [589,1542], "Bogota": [754,1336], "Bucaramanga": [839,980], "Cucuta": [951,864], "Guainia": [1409,1542], "Vaupes": [1167,1785], "Amazonas": [1085,2064], "Vichada": [1340,1274], "Ecuador": [94,1792], "Panama": [188,686], "Cesar": [802,533], "Atlantico": [646,642], "Antioquia": [666,910], "Choco": [373,1040], "Narino": [212,1642], "Huila": [457,1628], "Santander": [818,1177], "Arauca": [1092,1128], "Meta East": [973,1410], "Meta West": [720,1539], "Guaviare": [976,1669], "Putumayo": [680,1826], "Sincelejo / Ayacucho": [642,696], "Cucuta / Arauca": [994,977], "Bucaramanga / Ibague / Bogota": [626,1224], "Bogota / Yopal": [887,1276], "Bogota / Neiva": [612,1414], "Bogota / San Jose": [826,1474], "Neiva / Pasto": [530,1698], "Pasto / Tumaco": [146,1766], "Cali / Pasto": [348,1625], "Cali / Buenaventura": [368,1412], "Ibague / Cali": [436,1362], "Medellin / Ibague": [511,1169], "Cartagena / Sincelejo": [514,613], "Sincelejo / Medellin": [563,876], "Bucaramanga / Ayacucho": [778,830], "Cucuta / Ayacucho": [872,708], "Santa Marta / Ayacucho": [746,601], "Santa Marta / Cartagena": [588,466], // TODO: "Brasil": [10, 10], "Peru": [30, 10], "Venezuela": [40, 10], } const layout_xy = { "Atlantico": [620,540], "Choco": [370,1190], "Narino": [260,1530], "Cesar": [860,420], "Antioquia": [640,1010], "Santander": [710,1175], "Huila": [525,1425], "Arauca": [1210,1090], "Vichada": [1210,1305], "Meta East": [971,1320], "Meta West": [720,1630], "Guaviare": [860,1670], "Putumayo": [840,1880], "Guainia": [1310,1540], "Vaupes": [1080,1810], "Amazonas": [950,2080], "Ecuador": [190,1870], "Panama": [235,810], "Brasil": [1300, 1900], "Peru": [720, 2170], "Venezuela": [1130, 880], } function get_center_xy(s) { let id = data.spaces[s].id return center_xy[id] } function get_layout_xy(s) { let id = data.spaces[s].id if (layout_xy[id]) return layout_xy[id] return center_xy[id] } function get_layout_radius(s) { switch (data.spaces[s].pop) { case 0: return 0 case 1: return 53 case 2: return 57 case 3: return 61 case 8: return 68 } } function init_ui() { register_action(ui.resources[GOVT], "resources", GOVT) register_action(ui.resources[FARC], "resources", FARC) register_action(ui.resources[AUC], "resources", AUC) register_action(ui.resources[CARTELS], "resources", CARTELS) for (let c of momentum_events) register_card_tip(ui.momentum[c], c) for (let c of capability_events) register_card_tip(ui.capabilities[c], c) for (let i = 0; i < data.spaces.length; ++i) { let id = data.spaces[i].id let type = data.spaces[i].type let e = null if (type === "road" || type === "pipeline") { e = document.createElement("div") let [ x, y ] = center_xy[id] e.className = "box loc" e.style.left = x - 28 + "px" e.style.top = y - 28 + "px" e.style.width = 56 + "px" e.style.height = 56 + "px" document.getElementById("boxes").appendChild(e) } else if (type === "city") { e = document.getElementById(id) } else { e = document.getElementById("svgmap").getElementById(id) } if (!e) console.log("MISSING SPACE", id) else { ui.spaces[i] = e register_action(e, "space", i) } if (i <= last_pop) { let [x, y] = center_xy[id] if (i <= last_city) ui.support[i] = e = create("div", { className: "hide" }) else ui.support[i] = e = create("div", { className: "hide" }) if (i <= last_city) { let r = get_layout_radius(i) e.style.left = (x - 20) + "px" e.style.top = (y - 20 - r) + "px" } else { e.style.left = (x + 14) + "px" e.style.top = (y - 45) + "px" } document.getElementById("tokens").appendChild(e) } if (i <= last_dept || id === "Panama" || id === "Ecuador") { let [x, y] = center_xy[id] if (i <= last_city) ui.control[i] = e = create("div", { className: "token govt_control" }) else ui.control[i] = e = create("div", { className: "hide" }) if (i <= last_city) { let r = get_layout_radius(i) e.style.left = (x - 25 + r) + "px" e.style.top = (y - 25) + "px" } else if (i > last_pop) { e.style.left = (x - 25) + "px" e.style.top = (y - 25) + "px" } else { e.style.left = (x - 57) + "px" e.style.top = (y - 49) + "px" } document.getElementById("tokens").appendChild(e) } if (i >= first_loc && i <= last_loc) { let [x, y] = center_xy[id] ui.sabotage[i] = e = create("div", { className: "hide" }) e.style.left = (x - 20) + "px" e.style.top = (y - 20) + "px" document.getElementById("tokens").appendChild(e) } } for (let i = 0; i < 40; ++i) { ui.terror[i] = e = create("div", { className: "hide" }) document.getElementById("tokens").appendChild(e) } function create_piece(c, action, id, x, y) { let e = create("div", { className: c, my_action: action, my_id: id, my_x_offset: x, my_y_offset: y, onclick: on_click_action }) document.getElementById("pieces").appendChild(e) return e } function create_piece_list(faction, type, c, x, y) { for (let p = first_piece[faction][type]; p <= last_piece[faction][type]; ++p) ui.pieces[p] = create_piece(c, "piece", p, x, y) } ui.farc_zones = [ document.getElementById("tokens").appendChild(create("div", { className: "hide" })), document.getElementById("tokens").appendChild(create("div", { className: "hide" })), document.getElementById("tokens").appendChild(create("div", { className: "hide" })), ] ui.shipments = [ create_piece("token shipment", "shipment", 0, 0, 0), create_piece("token shipment", "shipment", 1, 0, 0), create_piece("token shipment", "shipment", 2, 0, 0), create_piece("token shipment", "shipment", 3, 0, 0), ] ui.pieces = [] create_piece_list(GOVT, BASE, "piece govt base", -4, 10) create_piece_list(GOVT, POLICE, "piece govt police", 0, 4) create_piece_list(GOVT, TROOPS, "piece govt troops", 0, 4) create_piece_list(FARC, BASE, "piece farc base", -4, 10) create_piece_list(FARC, GUERRILLA, "piece farc guerrilla", 2, 0) create_piece_list(AUC, BASE, "piece auc base", -4, 10) create_piece_list(AUC, GUERRILLA, "piece auc guerrilla", 2, 0) create_piece_list(CARTELS, GUERRILLA, "piece cartels guerrilla", 2, 0) create_piece_list(CARTELS, BASE, "piece cartels base", -4, 10) register_action(ui.sop[1], "sop", 1) register_action(ui.sop[2], "sop", 2) register_action(ui.sop[3], "sop", 3) register_action(ui.sop[4], "sop", 4) register_action(ui.sop[5], "sop", 5) register_action(ui.sop[6], "sop", 6) register_action(ui.sop[7], "sop", 7) } function filter_piece_list(list, space, faction, type) { for (let i = first_piece[faction][type]; i <= last_piece[faction][type]; ++i) if (view.pieces[i] === space) list.push(ui.pieces[i]) } function layout_available(faction, type, xorig, yorig) { let list = [] filter_piece_list(list, AVAILABLE, faction, type) layout_pieces(list, xorig, yorig) } function layout_pieces(list, xorig, yorig) { const dx = 17 const dy = 11 if (list.length > 0) { let ncol = Math.round(Math.sqrt(list.length)) let nrow = Math.ceil(list.length / ncol) function layout_piece(row, col, e, z) { // basic piece size = 29x36 let x = xorig - (row * dx - col * dx) - 15 + (nrow-ncol) * 6 let y = yorig - (row * dy + col * dy) - 24 + (nrow-1) * 8 let xo = e.my_x_offset let yo = e.my_y_offset e.style.left = (xo + x) + "px" e.style.top = (yo + y) + "px" e.style.zIndex = z } let z = 50 let i = 0 for (let row = 0; row < nrow; ++row) for (let col = 0; col < ncol && i < list.length; ++col) layout_piece(row, col, list[list.length-(++i)], z--) } } function place_piece(p, x, y, z) { p.style.top = y + "px" p.style.left = x + "px" if (z) p.style.zIndex = z } function layout_space_bases(list, xc, yc, r) { // base is 44x38 if (r > 0) { let a = 45 * Math.PI / 180 let dx = Math.round((r) * Math.cos(a)) let dy = Math.round((r) * Math.sin(a)) if (list.length > 0) place_piece(list[0], xc - 22 + dx, yc - 19 + dy) if (list.length > 1) place_piece(list[1], xc - 22 - dx, yc - 19 + dy) } else { if (list.length > 0) place_piece(list[0], xc - 20 - 34, yc + 13) if (list.length > 1) place_piece(list[1], xc - 20 + 31, yc + 13) } } function layout_available_bases(list, x0, y0, cols, rows, dx, dy) { let x = x0 let y = y0 // for (let i = list.length-1; i >= 0; --i) { for (let i = 0; i < list.length; ++i) { place_piece(list[list.length-i-1], x - 44 - 6, y + 8) y += dy if (i % rows === rows - 1) { x -= dx y = y0 } } } const sop_xy = [ [SOP_A1, 1298-22, 475-24], [SOP_A2, 1374-22, 475-24], [SOP_B1, 1298-22, 554-24], [SOP_B2, 1374-22, 554-24], [SOP_C1, 1298-22, 632-24], [SOP_C2, 1374-22, 632-24], ] function layout_sop() { let x, y, z // Eligible x = 1164 - 22 y = 480 z = 1 let order = data.card_order[view.deck[0]] for (let faction of order) { if (view.cylinder[faction] === ELIGIBLE) { place_piece(ui.cylinder[faction], x, y, z) y += 40 z += 1 } } // Ineligible x = 1510 - 22 y = 480 z = 1 for (let faction = 0; faction < 4; ++faction) { if (view.cylinder[faction] === INELIGIBLE) { place_piece(ui.cylinder[faction], x, y, z) y += 40 z += 1 } } // Pass x = 1164 - 22 - 24 y = 688 - 28 z = 1 i = 0 for (let faction = 0; faction < 4; ++faction) { if (view.cylinder[faction] === SOP_PASS) { place_piece(ui.cylinder[faction], x, y, z) x += 48 z += 1 if (++i === 2) { x -= 72; y += 28 } } } for (let [i, x, y] of sop_xy) { for (let faction = 0; faction < 4; ++faction) if (view.cylinder[faction] === i) place_piece(ui.cylinder[faction], x, y) } for (let i = 1; i <= 7; ++i) { if (view.actions && view.actions.sop && set_has(view.actions.sop, i)) ui.sop[i].classList.add("action") else ui.sop[i].classList.remove("action") } } function calc_oppose_bases() { let total = 0 for (let s = 0; s <= last_pop; ++s) { if (view.support[s] < 0) total -= data.spaces[s].pop * view.support[s] } for (let b = first_piece[FARC][BASE]; b <= last_piece[FARC][BASE]; ++b) if (b !== AVAILABLE) total += 1 return total } function calc_support() { let total = 0 for (let s = 0; s <= last_pop; ++s) { if (view.support[s] > 0) total += data.spaces[s].pop * view.support[s] } return total } function layout_score_cell(list, x, y, dx, dy) { let z = 1 if (list.length > 1) { if (dy > 0) y -= 12 if (dy < 0) y += 12 if (dx > 0) x -= 12 if (dx < 0) x += 12 } for (let p of list) { if (p.classList.contains("token")) place_piece(p, x - 24, y - 24, z) else place_piece(p, x - 22, y - 24, z) x += dx y += dy z += 1 } } function layout_score() { let list = [] let x, y for (let i = 0; i <= 99; ++i) { let total_support = calc_support() let oppose_plus_bases = calc_oppose_bases() if (total_support === i) list.push(ui.tokens.total_support) if (oppose_plus_bases === i) list.push(ui.tokens.oppose_plus_bases) if (view.aid === i) list.push(ui.tokens.aid) for (let faction = 0; faction < 4; ++faction) if (view.resources[faction] === i) list.push(ui.resources[faction]) if (i <= 30) y = 16 else if (i >= 77) y = 2486 else y = 16 + (i - 30) * 52.55 if (i < 1) x = 19 + 4 else if (i <= 30) x = 80 + (i - 1) * 52.07 else if (i <= 77) x = 1590 else x = 1590 - (i - 77) * 52.09 x = Math.round(x) + 24 y = Math.round(y) + 24 if (i < 1) layout_score_cell(list, x, y, 15, 25) else if (i < 30) layout_score_cell(list, x, y, 0, 28) else if (i === 30) layout_score_cell(list, x, y, -18, 25) else if (i < 77) layout_score_cell(list, x, y, -41, 0) else if (i === 77) layout_score_cell(list, x, y, -15, -19) else layout_score_cell(list, x, y, 0, -19) if (list.length > 0) list.length = 0 } } function update_guerrillas_underground(faction, type, underground) { let p0 = first_piece[faction][type] let p1 = last_piece[faction][type] for (let i = 0, p = p0; p <= p1; ++i, ++p) { if (underground & (1 << i)) ui.pieces[p].classList.remove("active") else ui.pieces[p].classList.add("active") } } function action_piece_list(list, action) { if (view.actions && view.actions[action]) { for (let i = 0; i < list.length; ++i) { if (set_has(view.actions[action], i)) { list[i].classList.add("action") } else { list[i].classList.remove("action") } } } } function layout_terror(tix, s, n) { let [ tx, ty ] = get_center_xy(s) tx -= 20 ty -= 20 if (s <= last_city) { let r = get_layout_radius(s) tx -= r } else { ty += -60 } for (let i = 0; i < n; ++i) { ui.terror[tix].className = "token terror" ui.terror[tix].style.left = tx + "px" ui.terror[tix].style.top = ty + "px" tx += 5 ty += 5 ++tix } return tix } function layout_farc_zone(s, elt) { let [x, y] = get_center_xy(s) if (s <= last_pop) { y -= 65 } else { x += 55 } elt.className = "token farc_zone" elt.style.top = (y - 25) + "px" elt.style.left = (x - 25) + "px" } function on_update() { switch (player) { case "Government": favicon.href = "images/icon_govt.png"; break case "AUC": favicon.href = "images/icon_auc.png"; break case "Cartels": favicon.href = "images/icon_cartels.png"; break case "FARC": favicon.href = "images/icon_farc.png"; break } ui.header.classList.toggle("govt", view.current === GOVT) ui.header.classList.toggle("auc", view.current === AUC) ui.header.classList.toggle("cartels", view.current === CARTELS) ui.header.classList.toggle("farc", view.current === FARC) ui.resources[GOVT].classList.toggle("action", is_action("resources", GOVT)) ui.resources[FARC].classList.toggle("action", is_action("resources", FARC)) ui.resources[AUC].classList.toggle("action", is_action("resources", AUC)) ui.resources[CARTELS].classList.toggle("action", is_action("resources", CARTELS)) ui.player[GOVT].classList.toggle("hide", view.scenario < 3) ui.player[AUC].classList.toggle("hide", view.scenario < 4) ui.player[CARTELS].classList.toggle("hide", view.scenario < 4) ui.player[FARC].classList.toggle("hide", view.scenario < 3) ui.player[GOVT_AUC].classList.toggle("hide", view.scenario !== 2) ui.player[FARC_CARTELS].classList.toggle("hide", view.scenario !== 2) ui.player[AUC_CARTELS].classList.toggle("hide", view.scenario !== 3) ui.player[GOVT].classList.toggle("active", view.current === GOVT) ui.player[AUC].classList.toggle("active", view.current === AUC) ui.player[CARTELS].classList.toggle("active", view.current === CARTELS) ui.player[FARC].classList.toggle("active", view.current === FARC) ui.player[GOVT_AUC].classList.toggle("active", view.current === GOVT || view.current === AUC) ui.player[FARC_CARTELS].classList.toggle("active", view.current === FARC || view.current === CARTELS) ui.player[AUC_CARTELS].classList.toggle("active", view.current === AUC || view.current === CARTELS) ui.tokens.president.style.left = [ 0, "254px", "337px", "420px" ][view.president] for (let cap of capability_events) { let shaded = set_has(view.capabilities, -cap) let unshaded = set_has(view.capabilities, cap) console.log("CAP", cap, shaded, unshaded) if (shaded || unshaded) { ui.capabilities[cap].classList.toggle("shaded", shaded) ui.capabilities[cap].classList.toggle("unshaded", unshaded) ui.capabilities[cap].classList.toggle("hide", false) } else { ui.capabilities[cap].classList.toggle("hide", true) } } for (let cap of momentum_events) { ui.momentum[cap].classList.toggle("hide", !set_has(view.momentum, cap)) } if (view.propaganda > 0) { ui.tokens.propaganda.style.top = "744px" ui.tokens.propaganda.style.left = (1124 + 75 * (view.propaganda - 1)) + "px" } else { ui.tokens.propaganda.style.top = "666px" ui.tokens.propaganda.style.left = "1029px" } ui.this_card.className = "card card_" + view.deck[0] ui.next_card.className = "card card_" + view.deck[1] ui.deck_size.textContent = view.deck[2] layout_sop() layout_score() layout_available(GOVT, TROOPS, 114, 248) layout_available(GOVT, POLICE, 114, 448) layout_available(FARC, GUERRILLA, 1396, 234) layout_available(AUC, GUERRILLA, 196, 2370) layout_available(CARTELS, GUERRILLA, 1465, 1970) for (let i = view.farc_zones.length; i < ui.farc_zones.length; ++i) ui.farc_zones[i].className = "hide" let tix = 0 let list = [] for (let s = 0; s < data.spaces.length; ++s) { if (s <= last_pop) { switch (view.support[s]) { case -2: ui.support[s].className = "token active_opposition"; break case -1: ui.support[s].className = "token passive_opposition"; break case 0: ui.support[s].className = "hide"; break case 1: ui.support[s].className = "token passive_support"; break case 2: ui.support[s].className = "token active_support"; break } } if (s >= first_loc && s <= last_loc) { if (set_has(view.sabotage, s)) ui.sabotage[s].className = "token sabotage" else ui.sabotage[s].className = "hide" } if (s <= last_dept) { for (let i = 0; i < view.farc_zones.length; ++i) if (view.farc_zones[i] === s) layout_farc_zone(s, ui.farc_zones[i]) if (view.govt_control & (1< //console.log("FOCUS ME", c) on_focus_card_tip(c) e.onmouseleave = on_blur_card_tip } function on_focus_card_tip(c) { document.getElementById("card_tip").className = "card card_" + c } function on_blur_card_tip(c) { document.getElementById("card_tip").className = "hide" } function sub_card(match, p1) { let x = p1 | 0 let n = data.card_name[x] return `${n}` } function sub_space(match, p1) { let x = p1 | 0 let n = data.space_name[x] return `${n}` } function on_log(text) { let p = document.createElement("div") if (text.match(/^>/)) { text = text.substring(1) p.className = "i" } text = text.replace(/&/g, "&") text = text.replace(//g, ">") text = text.replace(/C(\d+)/g, sub_card) text = text.replace(/S(\d+)/g, sub_space) if (text.match(/^\.h1/)) { text = text.substring(4) p.className = "h1" } else if (text.match(/^\.h2 Government/)) { text = text.substring(3) p.className = "h2 govt" } else if (text.match(/^\.h2 AUC/)) { text = text.substring(3) p.className = "h2 auc" } else if (text.match(/^\.h2 Cartels/)) { text = text.substring(3) p.className = "h2 cartels" } else if (text.match(/^\.h2 FARC/)) { text = text.substring(3) p.className = "h2 farc" } else if (text.match(/^\.h3/)) { text = text.substring(4) p.className = "h3" } else if (text.match(/^\.h4/)) { text = text.substring(4) p.className = "h4" } p.innerHTML = text return p } function set_has(set, item) { let a = 0 let b = set.length - 1 while (a <= b) { let m = (a + b) >> 1 let x = set[m] if (item < x) b = m - 1 else if (item > x) a = m + 1 else return true } return false } function map_get(map, key, missing) { let a = 0 let b = (map.length >> 1) - 1 while (a <= b) { let m = (a + b) >> 1 let x = map[m << 1] if (key < x) b = m - 1 else if (key > x) a = m + 1 else return map[(m << 1) + 1] } return missing } init_ui() scroll_with_middle_mouse("main")