comparison doc/manual/manual_tex4ht.cfg @ 343:59109d1cb17b

- more html doc tweak: remove dependency on google fonts
author Tassilo Philipp
date Tue, 07 Jan 2020 11:14:01 +0100
parents b55fec763864
children d60728b1f4a1
comparison
equal deleted inserted replaced
342:b55fec763864 343:59109d1cb17b
48 \Configure{@HEAD}{} 48 \Configure{@HEAD}{}
49 \Configure{@HEAD}{\HCode{<meta http-equiv="content-type" content="text/html; charset=utf-8"/>\Hnewline}} 49 \Configure{@HEAD}{\HCode{<meta http-equiv="content-type" content="text/html; charset=utf-8"/>\Hnewline}}
50 \Configure{@HEAD}{\HCode{<meta name="resource-type" content="document"/>\Hnewline}} 50 \Configure{@HEAD}{\HCode{<meta name="resource-type" content="document"/>\Hnewline}}
51 \Configure{@HEAD}{\HCode{<meta name="keywords" content="C, function, dynamic, call, calling, convention, VM, abstraction, closure"/>\Hnewline}} 51 \Configure{@HEAD}{\HCode{<meta name="keywords" content="C, function, dynamic, call, calling, convention, VM, abstraction, closure"/>\Hnewline}}
52 \Configure{@HEAD}{\HCode{<meta name="distribution" content="global"/>\Hnewline}} 52 \Configure{@HEAD}{\HCode{<meta name="distribution" content="global"/>\Hnewline}}
53 \Configure{@HEAD}{\HCode{<link rel="stylesheet" id="dyn-fonts-css" href="https://fonts.googleapis.com/css?family=Open+Sans:400,700&amp;subset=latin,latin-ext" type="text/css" media="all"/>\Hnewline}}
54 % should this really rely on online content (dyncall's .css) even for an offline build? @@@ 53 % should this really rely on online content (dyncall's .css) even for an offline build? @@@
55 \Configure{@HEAD}{\HCode{<link rel="stylesheet" href="https://dyncall.org/data/main.css" type="text/css" media="all"/>\Hnewline}} 54 \Configure{@HEAD}{\HCode{<link rel="stylesheet" href="https://dyncall.org/data/main.css" type="text/css" media="all"/>\Hnewline}}
56 55
57 % Image path prefix can be set here... 56 % Image path prefix can be set here...
58 %\Configure{IMG} 57 %\Configure{IMG}