@xoxoai/checkmate 0.6.6 → 0.7.0

package/plugin/src/ui/assets/client.js

@@ -0,0 +1,501 @@
+const body = document.body
+const reducedMotion = window.matchMedia('(prefers-reduced-motion: reduce)')
+const served = new Map(
+	[...document.querySelectorAll('[data-region]')].map((region) => [region.dataset.region, region.cloneNode(true)])
+)
+
+function syncRationale(root = document) {
+	for (const form of root.querySelectorAll('form')) {
+		const rationale = form.querySelector('[data-rationale]')
+		if (!rationale) continue
+		const empty = !rationale.value.trim()
+		for (const button of form.querySelectorAll('[data-needs-rationale]')) button.disabled = empty
+	}
+}
+
+function syncSource(root = document) {
+	for (const form of root.querySelectorAll('[data-gap-form]')) {
+		const kind = form.querySelector('input[name="kind"]:checked')
+		const source = form.querySelector('[data-source]')
+		if (source) source.required = kind?.value === 'clarify'
+	}
+}
+
+function confirmStart(form, button) {
+	let verdict = form.querySelector('[data-verdict-input]')
+	if (!verdict) {
+		verdict = document.createElement('input')
+		verdict.type = 'hidden'
+		verdict.name = 'verdict'
+		verdict.dataset.verdictInput = ''
+		form.append(verdict)
+	}
+	verdict.value = button.value
+	form.dataset.confirming = '1'
+	form.querySelector('[data-confirm-summary]').textContent = button.dataset.summary
+	form.querySelector('[data-confirm-submit]').textContent = button.dataset.confirmLabel
+	form.querySelector('[data-confirm]').hidden = false
+	form.querySelector('[data-confirm-buttons]').hidden = false
+	form.querySelector('[data-choose]').hidden = true
+	form.querySelector('[data-rationale]').readOnly = true
+	form.querySelector('[data-confirm-submit]').focus()
+}
+
+function confirmStop(form) {
+	form.querySelector('[data-verdict-input]')?.remove()
+	delete form.dataset.confirming
+	form.querySelector('[data-confirm]').hidden = true
+	form.querySelector('[data-confirm-buttons]').hidden = true
+	form.querySelector('[data-choose]').hidden = false
+	const rationale = form.querySelector('[data-rationale]')
+	rationale.readOnly = false
+	rationale.focus()
+}
+
+document.addEventListener('input', (event) => {
+	const form = event.target.closest?.('form')
+	if (form) syncRationale(form.parentElement ?? document)
+})
+
+document.addEventListener('change', (event) => {
+	if (event.target.name === 'kind') syncSource()
+})
+
+document.addEventListener('submit', (event) => {
+	const form = event.target
+	if (form.matches('[data-verdict-form]') && !form.dataset.confirming) {
+		const button = event.submitter
+		if (!button || button.name !== 'verdict') return
+		event.preventDefault()
+		confirmStart(form, button)
+	}
+	if (form.matches('[data-theme-form]')) {
+		event.preventDefault()
+		const button = form.querySelector('button[name="theme"]')
+		const data = new URLSearchParams(new FormData(form))
+		data.set('theme', button.value)
+		fetch(form.action, { method: 'POST', body: data, redirect: 'manual' }).catch(() => {})
+		applyTheme(form, button.value)
+	}
+})
+
+const themeOrder = { system: 'light', light: 'dark', dark: 'system' }
+
+function applyTheme(form, theme) {
+	if (theme === 'system') delete document.documentElement.dataset.theme
+	else document.documentElement.dataset.theme = theme
+	const button = form.querySelector('button[name="theme"]')
+	const next = themeOrder[theme]
+	button.value = next
+	button.dataset.current = theme
+	button.title = `Theme: ${theme}. Switch to ${next}.`
+	button.setAttribute('aria-label', button.title)
+}
+
+document.addEventListener('click', (event) => {
+	const back = event.target.closest('[data-confirm-back]')
+	if (back) return confirmStop(back.closest('form'))
+	const image = event.target.closest('a[data-view-image]')
+	if (image && !event.ctrlKey && !event.metaKey && !event.shiftKey && event.button === 0) {
+		event.preventDefault()
+		openViewer(image)
+	}
+	if (event.target.closest('[data-viewer-close]')) closeViewer()
+	if (event.target.matches('[data-viewer]')) closeViewer()
+	if (event.target.closest('[data-shortcuts-open]')) toggleShortcuts()
+	if (event.target.closest('[data-shortcuts-close]')) toggleShortcuts(false)
+})
+
+const viewer = document.querySelector('[data-viewer]')
+let viewerOpener = null
+
+function openViewer(link) {
+	viewerOpener = link
+	viewer.querySelector('[data-viewer-image]').src = link.href
+	viewer.querySelector('[data-viewer-image]').alt = link.querySelector('img')?.alt ?? ''
+	viewer.querySelector('[data-viewer-name]').textContent = link.dataset.name ?? ''
+	viewer.querySelector('[data-viewer-open]').href = link.href
+	viewer.hidden = false
+	viewer.querySelector('[data-viewer-close]').focus()
+}
+
+function closeViewer() {
+	if (viewer.hidden) return false
+	viewer.hidden = true
+	viewer.querySelector('[data-viewer-image]').removeAttribute('src')
+	viewerOpener?.focus()
+	return true
+}
+
+const shortcuts = document.querySelector('[data-shortcuts]')
+
+let shortcutsOpener = null
+
+function toggleShortcuts(show = shortcuts.hidden) {
+	if (show && shortcuts.hidden) shortcutsOpener = document.activeElement
+	shortcuts.hidden = !show
+	if (show) shortcuts.querySelector('[data-shortcuts-close]').focus()
+	else shortcutsOpener?.focus()
+	return true
+}
+
+function navItems() {
+	return [...document.querySelectorAll('[data-nav-item]')].filter((item) => item.offsetParent !== null)
+}
+
+function move(step) {
+	const items = navItems()
+	if (!items.length) return
+	const index = items.indexOf(document.activeElement)
+	const next = index < 0 ? (step > 0 ? 0 : items.length - 1) : Math.min(items.length - 1, Math.max(0, index + step))
+	items[next].focus()
+	items[next].scrollIntoView({ block: 'nearest' })
+}
+
+let pendingG = false
+
+document.addEventListener('keydown', (event) => {
+	if (event.defaultPrevented || event.ctrlKey || event.metaKey || event.altKey) return
+	const target = event.target
+	const typing = target.isContentEditable || /^(INPUT|TEXTAREA|SELECT)$/.test(target.tagName)
+	if (event.key === 'Escape') {
+		const menu = document.querySelector('details[data-menu][open]')
+		if (menu) {
+			menu.open = false
+			menu.querySelector('summary').focus()
+			event.preventDefault()
+		} else if (closeViewer() || (!shortcuts.hidden && toggleShortcuts(false))) event.preventDefault()
+		else if (typing) target.blur()
+		return
+	}
+	if (typing) return
+	if (pendingG) {
+		pendingG = false
+		if (event.key === 'i') return void (location.href = '/')
+	}
+	if (event.key === '/') {
+		const search = document.querySelector('[data-search]')
+		if (!search) return
+		event.preventDefault()
+		search.focus()
+		search.select()
+	} else if (event.key === 'j') move(1)
+	else if (event.key === 'k') move(-1)
+	else if (event.key === '?') toggleShortcuts()
+	else if (event.key === 'g') pendingG = true
+})
+
+function normalize(text) {
+	return text.replace(/<time[^>]*>[\s\S]*?<\/time>/g, '').replace(/\s+/g, ' ')
+}
+
+function dirty(region) {
+	if (region.querySelector('form[data-confirming]')) return true
+	for (const field of region.querySelectorAll('textarea, input, select')) {
+		if (field.type === 'hidden') continue
+		if (field.type === 'radio' || field.type === 'checkbox') {
+			if (field.checked !== field.defaultChecked) return true
+		} else if (field.tagName === 'SELECT') {
+			if ([...field.options].some((option) => option.selected !== option.defaultSelected)) return true
+		} else if (field.value !== field.defaultValue) return true
+	}
+	return false
+}
+
+function staleNotice(region) {
+	const slot = region.querySelector('[data-stale-slot]')
+	if (!slot || slot.querySelector('[data-live-stale]')) return
+	const notice = document.createElement('div')
+	notice.className = 'banner warn'
+	notice.setAttribute('role', 'status')
+	notice.dataset.liveStale = ''
+	notice.textContent = region.dataset.staleMessage || 'This item changed. Review it before you decide.'
+	slot.prepend(notice)
+	announce(notice.textContent)
+}
+
+function keyed(root) {
+	const map = new Map()
+	for (const element of root.querySelectorAll('[data-key]')) map.set(element.dataset.key, element)
+	return map
+}
+
+function focusKey() {
+	const active = document.activeElement
+	if (!active || active === body) return null
+	const owner = active.closest('[data-key]')
+	return {
+		id: active.id || null,
+		key: owner?.dataset.key ?? null,
+		navIndex: active.matches('[data-nav-item]') ? navItems().indexOf(active) : -1,
+		region: active.closest('[data-region]'),
+	}
+}
+
+function restoreFocus(saved) {
+	if (!saved || document.activeElement !== body) return
+	const byId = saved.id && document.getElementById(saved.id)
+	if (byId) return byId.focus({ preventScroll: true })
+	if (saved.key) {
+		const owner = document.querySelector(`[data-key="${CSS.escape(saved.key)}"]`)
+		const target = owner?.matches('[data-nav-item]') ? owner : owner?.querySelector('[data-nav-item], a, summary')
+		if (target) return target.focus({ preventScroll: true })
+	}
+	if (saved.navIndex >= 0) {
+		const items = navItems()
+		if (items.length) items[Math.min(saved.navIndex, items.length - 1)].focus({ preventScroll: true })
+	}
+}
+
+function replaceRegion(region, fresh, previous) {
+	const before = keyed(previous ?? region)
+	const opened = new Map(
+		[...region.querySelectorAll('details[data-open-key]')].map((details) => [details.dataset.openKey, details.open])
+	)
+	const saved = focusKey()
+	const next = document.importNode(fresh, true)
+	for (const details of next.querySelectorAll('details[data-open-key]'))
+		if (opened.has(details.dataset.openKey)) details.open = opened.get(details.dataset.openKey)
+	region.replaceWith(next)
+	if (saved?.region === region) restoreFocus(saved)
+	const changed = [...keyed(next)]
+		.filter(
+			([key, element]) =>
+				!before.has(key) || normalize(before.get(key).outerHTML) !== normalize(element.outerHTML)
+		)
+		.map(([, element]) => element)
+	const innermost = changed.filter(
+		(element) => !changed.some((other) => other !== element && element.contains(other))
+	)
+	for (const element of innermost) {
+		element.classList.add('changed')
+		if (!reducedMotion.matches) setTimeout(() => element.classList.remove('changed'), 2000)
+	}
+	syncRationale(next)
+	syncSource(next)
+	return innermost.map((element) => element.dataset.announce).filter(Boolean)
+}
+
+const announcer = document.querySelector('[data-announcer]')
+
+function announce(text) {
+	if (!text) return
+	announcer.textContent = ''
+	setTimeout(() => (announcer.textContent = text), 50)
+}
+
+let refreshing = false
+let again = false
+
+async function refresh() {
+	if (refreshing) return void (again = true)
+	refreshing = true
+	try {
+		const response = await fetch(location.pathname + location.search, { cache: 'no-store' })
+		if (!response.ok) return
+		const fresh = new DOMParser().parseFromString(await response.text(), 'text/html')
+		const messages = []
+		for (const region of [...document.querySelectorAll('[data-region]')]) {
+			const name = region.dataset.region
+			const replacement = fresh.querySelector(`[data-region="${name}"]`)
+			const previous = served.get(name)
+			if (!replacement || (previous && normalize(previous.outerHTML) === normalize(replacement.outerHTML)))
+				continue
+			if (dirty(region)) {
+				staleNotice(region)
+				continue
+			}
+			messages.push(...replaceRegion(region, replacement, previous))
+			served.set(name, replacement.cloneNode(true))
+		}
+		document.title = fresh.title
+		if (messages.length) announce(messages.join('. '))
+	} catch {
+	} finally {
+		refreshing = false
+		if (again) {
+			again = false
+			refresh()
+		}
+	}
+}
+
+const live = document.querySelector('[data-live]')
+let source = null
+let last = body.dataset.cursor ?? '0'
+
+function setLive(up) {
+	live.hidden = false
+	live.classList.toggle('down', !up)
+	live.textContent = up ? '● Live' : '○ Reconnecting…'
+}
+
+function connect() {
+	if (source || !body.dataset.subjects || !window.EventSource) return
+	const subjects = encodeURIComponent(body.dataset.subjects)
+	source = new EventSource(`/events?subjects=${subjects}&after=${encodeURIComponent(last)}`)
+	source.onopen = () => setLive(true)
+	source.onerror = () => setLive(false)
+	source.onmessage = (event) => {
+		if (event.lastEventId) last = event.lastEventId
+		refresh()
+	}
+}
+
+function disconnect() {
+	source?.close()
+	source = null
+}
+
+document.addEventListener('visibilitychange', () => {
+	if (document.hidden) disconnect()
+	else {
+		connect()
+		refresh()
+	}
+})
+
+const listForm = document.querySelector('[data-list-form]')
+let typingTimer = null
+let listTicket = 0
+
+function listUrl(form) {
+	const params = new URLSearchParams()
+	for (const field of form.elements) {
+		if (!field.name || field.value === '' || field.value === (field.dataset.default ?? '')) continue
+		params.set(field.name, field.value)
+	}
+	const query = params.toString()
+	return form.getAttribute('action') + (query ? `?${query}` : '')
+}
+
+function syncListForm(url) {
+	const params = new URL(url, location.href).searchParams
+	for (const field of listForm.elements) {
+		if (!field.name || field === document.activeElement) continue
+		field.value = params.get(field.name) ?? field.dataset.default ?? ''
+	}
+}
+
+async function showList(url, mode) {
+	clearTimeout(typingTimer)
+	const ticket = ++listTicket
+	try {
+		const response = await fetch(url, { cache: 'no-store' })
+		if (ticket !== listTicket) return
+		if (!response.ok) return void location.assign(url)
+		const fresh = new DOMParser().parseFromString(await response.text(), 'text/html')
+		const region = document.querySelector('[data-list-region]')
+		const replacement = fresh.querySelector('[data-list-region]')
+		if (!region || !replacement) return void location.assign(url)
+		if (mode === 'push') window.history.pushState(null, '', url)
+		if (mode === 'replace') window.history.replaceState(null, '', url)
+		region.replaceWith(document.importNode(replacement, true))
+		served.set(replacement.dataset.region, replacement.cloneNode(true))
+		document.title = fresh.title
+		syncListForm(url)
+	} catch {
+		location.assign(url)
+	}
+}
+
+if (listForm) {
+	listForm.querySelector('[data-list-submit]').hidden = true
+	listForm.addEventListener('input', (event) => {
+		if (event.target.type !== 'search') return
+		clearTimeout(typingTimer)
+		typingTimer = setTimeout(() => showList(listUrl(listForm), 'replace'), 250)
+	})
+	listForm.addEventListener('change', (event) => {
+		if (event.target.tagName === 'SELECT') showList(listUrl(listForm), 'push')
+	})
+	listForm.addEventListener('submit', (event) => {
+		event.preventDefault()
+		showList(listUrl(listForm), 'push')
+	})
+	window.addEventListener('popstate', () => showList(location.href, null))
+}
+
+function plainClick(event) {
+	return !event.ctrlKey && !event.metaKey && !event.shiftKey && !event.altKey && event.button === 0
+}
+
+document.addEventListener('click', (event) => {
+	if (!plainClick(event)) return
+	const link = event.target.closest('a[data-list-link]')
+	if (link && listForm) {
+		event.preventDefault()
+		return void showList(link.href, 'push')
+	}
+	const clear = event.target.closest('[data-list-clear]')
+	if (clear && listForm) {
+		event.preventDefault()
+		for (const field of listForm.elements) if (field.name) field.value = field.dataset.default ?? ''
+		return void showList(clear.href, 'push')
+	}
+	const more = event.target.closest('[data-history-more]')
+	if (more) {
+		event.preventDefault()
+		return void showHistory(more)
+	}
+	for (const menu of document.querySelectorAll('details[data-menu][open]'))
+		if (!menu.contains(event.target)) menu.open = false
+})
+
+async function showHistory(link) {
+	link.setAttribute('aria-busy', 'true')
+	try {
+		const response = await fetch(link.dataset.historyMore, { cache: 'no-store' })
+		if (!response.ok) return void location.assign(link.href)
+		const fragment = document.createRange().createContextualFragment(await response.text())
+		const list = link.closest('[data-history]')
+		const shown = list.querySelectorAll('ol.history > li').length
+		list.replaceWith(fragment)
+		const entries = document.querySelectorAll('[data-history] ol.history > li')
+		entries[shown]?.querySelector('summary')?.focus()
+		announce(`Showing ${entries.length} revisions`)
+	} catch {
+		location.assign(link.href)
+	}
+}
+
+function openTarget() {
+	if (!location.hash) return
+	const target = document.getElementById(decodeURIComponent(location.hash.slice(1)))
+	const details = target?.closest('details')
+	if (details && !details.open) details.open = true
+}
+
+window.addEventListener('hashchange', openTarget)
+
+const toast = document.querySelector('[data-toast]')
+if (toast)
+	setTimeout(() => {
+		toast.classList.add('gone')
+		setTimeout(() => toast.remove(), reducedMotion.matches ? 0 : 320)
+	}, 6000)
+
+function fitHeight(area) {
+	area.style.height = 'auto'
+	area.style.height = `${area.scrollHeight + area.offsetHeight - area.clientHeight}px`
+}
+
+if (!CSS.supports('field-sizing', 'content')) {
+	const areas = [...document.querySelectorAll('.edit-card textarea')]
+	for (const area of areas) {
+		fitHeight(area)
+		area.addEventListener('input', () => fitHeight(area))
+	}
+	window.addEventListener('resize', () => areas.forEach(fitHeight))
+}
+
+document.querySelector('[data-shortcuts-open]').hidden = false
+syncRationale()
+syncSource()
+openTarget()
+if (location.hash === '#decide' || location.hash === '#answer')
+	document.querySelector(`${location.hash} textarea, ${location.hash} input:not([type="hidden"])`)?.focus({
+		preventScroll: false,
+	})
+else if (body.dataset.subjects === 'inbox' && navItems().length) navItems()[0].focus({ preventScroll: true })
+connect()

package/plugin/src/ui/assets/favicon.svg

@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -22 64 64"><g fill="none" stroke="#2c6150" stroke-width="2.5"><rect x="2" y="3" width="13" height="13"/><rect x="18" y="3" width="13" height="13"/><rect x="34" y="3" width="13" height="13" fill="#2c6150"/><rect x="50" y="3" width="13" height="13"/></g></svg>

package/plugin/src/ui/assets/fonts/inter-OFL.txt

@@ -0,0 +1,93 @@
+Copyright 2016 The Inter Project Authors (https://github.com/rsms/inter) Inter-Italic[opsz,wght].ttf: Copyright 2016 The Inter Project Authors (https://github.com/rsms/inter)
+
+This Font Software is licensed under the SIL Open Font License, Version 1.1.
+This license is copied below, and is also available with a FAQ at:
+http://scripts.sil.org/OFL
+
+
+-----------------------------------------------------------
+SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007
+-----------------------------------------------------------
+
+PREAMBLE
+The goals of the Open Font License (OFL) are to stimulate worldwide
+development of collaborative font projects, to support the font creation
+efforts of academic and linguistic communities, and to provide a free and
+open framework in which fonts may be shared and improved in partnership
+with others.
+
+The OFL allows the licensed fonts to be used, studied, modified and
+redistributed freely as long as they are not sold by themselves. The
+fonts, including any derivative works, can be bundled, embedded,
+redistributed and/or sold with any software provided that any reserved
+names are not used by derivative works. The fonts and derivatives,
+however, cannot be released under any other type of license. The
+requirement for fonts to remain under this license does not apply
+to any document created using the fonts or their derivatives.
+
+DEFINITIONS
+"Font Software" refers to the set of files released by the Copyright
+Holder(s) under this license and clearly marked as such. This may
+include source files, build scripts and documentation.
+
+"Reserved Font Name" refers to any names specified as such after the
+copyright statement(s).
+
+"Original Version" refers to the collection of Font Software components as
+distributed by the Copyright Holder(s).
+
+"Modified Version" refers to any derivative made by adding to, deleting,
+or substituting -- in part or in whole -- any of the components of the
+Original Version, by changing formats or by porting the Font Software to a
+new environment.
+
+"Author" refers to any designer, engineer, programmer, technical
+writer or other person who contributed to the Font Software.
+
+PERMISSION & CONDITIONS
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of the Font Software, to use, study, copy, merge, embed, modify,
+redistribute, and sell modified and unmodified copies of the Font
+Software, subject to the following conditions:
+
+1) Neither the Font Software nor any of its individual components,
+in Original or Modified Versions, may be sold by itself.
+
+2) Original or Modified Versions of the Font Software may be bundled,
+redistributed and/or sold with any software, provided that each copy
+contains the above copyright notice and this license. These can be
+included either as stand-alone text files, human-readable headers or
+in the appropriate machine-readable metadata fields within text or
+binary files as long as those fields can be easily viewed by the user.
+
+3) No Modified Version of the Font Software may use the Reserved Font
+Name(s) unless explicit written permission is granted by the corresponding
+Copyright Holder. This restriction only applies to the primary font name as
+presented to the users.
+
+4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font
+Software shall not be used to promote, endorse or advertise any
+Modified Version, except to acknowledge the contribution(s) of the
+Copyright Holder(s) and the Author(s) or with their explicit written
+permission.
+
+5) The Font Software, modified or unmodified, in part or in whole,
+must be distributed entirely under this license, and must not be
+distributed under any other license. The requirement for fonts to
+remain under this license does not apply to any document created
+using the Font Software.
+
+TERMINATION
+This license becomes null and void if any of the above conditions are
+not met.
+
+DISCLAIMER
+THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT
+OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE
+COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL
+DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM
+OTHER DEALINGS IN THE FONT SOFTWARE.

package/plugin/src/ui/assets/fonts/jetbrains-mono-OFL.txt

@@ -0,0 +1,93 @@
+Copyright 2020 The JetBrains Mono Project Authors (https://github.com/JetBrains/JetBrainsMono) JetBrainsMono-Italic[wght].ttf: Copyright 2020 The JetBrains Mono Project Authors (https://github.com/JetBrains/JetBrainsMono)
+
+This Font Software is licensed under the SIL Open Font License, Version 1.1.
+This license is copied below, and is also available with a FAQ at:
+http://scripts.sil.org/OFL
+
+
+-----------------------------------------------------------
+SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007
+-----------------------------------------------------------
+
+PREAMBLE
+The goals of the Open Font License (OFL) are to stimulate worldwide
+development of collaborative font projects, to support the font creation
+efforts of academic and linguistic communities, and to provide a free and
+open framework in which fonts may be shared and improved in partnership
+with others.
+
+The OFL allows the licensed fonts to be used, studied, modified and
+redistributed freely as long as they are not sold by themselves. The
+fonts, including any derivative works, can be bundled, embedded,
+redistributed and/or sold with any software provided that any reserved
+names are not used by derivative works. The fonts and derivatives,
+however, cannot be released under any other type of license. The
+requirement for fonts to remain under this license does not apply
+to any document created using the fonts or their derivatives.
+
+DEFINITIONS
+"Font Software" refers to the set of files released by the Copyright
+Holder(s) under this license and clearly marked as such. This may
+include source files, build scripts and documentation.
+
+"Reserved Font Name" refers to any names specified as such after the
+copyright statement(s).
+
+"Original Version" refers to the collection of Font Software components as
+distributed by the Copyright Holder(s).
+
+"Modified Version" refers to any derivative made by adding to, deleting,
+or substituting -- in part or in whole -- any of the components of the
+Original Version, by changing formats or by porting the Font Software to a
+new environment.
+
+"Author" refers to any designer, engineer, programmer, technical
+writer or other person who contributed to the Font Software.
+
+PERMISSION & CONDITIONS
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of the Font Software, to use, study, copy, merge, embed, modify,
+redistribute, and sell modified and unmodified copies of the Font
+Software, subject to the following conditions:
+
+1) Neither the Font Software nor any of its individual components,
+in Original or Modified Versions, may be sold by itself.
+
+2) Original or Modified Versions of the Font Software may be bundled,
+redistributed and/or sold with any software, provided that each copy
+contains the above copyright notice and this license. These can be
+included either as stand-alone text files, human-readable headers or
+in the appropriate machine-readable metadata fields within text or
+binary files as long as those fields can be easily viewed by the user.
+
+3) No Modified Version of the Font Software may use the Reserved Font
+Name(s) unless explicit written permission is granted by the corresponding
+Copyright Holder. This restriction only applies to the primary font name as
+presented to the users.
+
+4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font
+Software shall not be used to promote, endorse or advertise any
+Modified Version, except to acknowledge the contribution(s) of the
+Copyright Holder(s) and the Author(s) or with their explicit written
+permission.
+
+5) The Font Software, modified or unmodified, in part or in whole,
+must be distributed entirely under this license, and must not be
+distributed under any other license. The requirement for fonts to
+remain under this license does not apply to any document created
+using the Font Software.
+
+TERMINATION
+This license becomes null and void if any of the above conditions are
+not met.
+
+DISCLAIMER
+THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT
+OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE
+COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL
+DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM
+OTHER DEALINGS IN THE FONT SOFTWARE.