Diffusion topoTEI 069393a9b85c

new fonts config
069393a9b85c
Actions

Authored by steinech on Oct 19 2023, 15:25.

Description

new fonts config

Details

Committed

steinech

Oct 19 2023, 15:25

Pushed

steinech

Oct 19 2023, 15:26

Branches

Unknown

Tags

Unknown

[HTTP/500] Internal Server Error FilesystemException: Failed to create a temporary directory: the disk is full.[HTTP/500] Internal Server Error FilesystemException: Failed to create a temporary directory: the disk is full.

Event Timeline

steinech committed rTOPOTEI069393a9b85c: new fonts config (authored by steinech).Oct 19 2023, 15:25

Changes (15)

				Path
	A			config/fonts.xml
	M			config/gui_config.xml
	M			config/upgrade.xml
	M			modules/app.xqm
	M			modules/config.xqm
	M			modules/myparsedata.xqm
	M			modules/rest-api.xq
	M			modules/transform.html
	A			resources/css/fonts.css
	M			resources/css/gui_style.css
	A			resources/fonts/FreeSans.ttf
	D			resources/fonts/NotoSansCJK-Regular.ttc
	M			resources/scripts/topoTEI.js
	M			xslt/sourceDoc.xsl
	M			xslt/updateSourceDoc.xsl