lib/fonts/Vacuous.sfd
author wenzelm
Sat, 22 Oct 2016 20:09:30 +0200
changeset 64349 26bc905be09d
parent 63683 87c6158f4ef4
child 67255 f1f983484878
permissions -rw-r--r--
expose results on failure (via mail);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
63683
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
     1
SplineFontDB: 3.0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
     2
FontName: Vacuous
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
     3
FullName: Vacuous
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
     4
FamilyName: Vacuous
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
     5
Weight: Medium
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
     6
Copyright: 
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
     7
UComments: "2016-8-12: Created." 
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
     8
Version: 001.000
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
     9
ItalicAngle: 0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    10
UnderlinePosition: -100
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    11
UnderlineWidth: 50
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    12
Ascent: 800
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    13
Descent: 200
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    14
LayerCount: 2
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    15
Layer: 0 0 "Back"  1
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    16
Layer: 1 0 "Fore"  0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    17
XUID: [1021 906 1711068302 5949507]
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    18
FSType: 8
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    19
OS2Version: 0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    20
OS2_WeightWidthSlopeOnly: 0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    21
OS2_UseTypoMetrics: 1
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    22
CreationTime: 1471028867
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    23
ModificationTime: 1471030389
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    24
PfmFamily: 17
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    25
TTFWeight: 500
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    26
TTFWidth: 5
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    27
LineGap: 90
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    28
VLineGap: 0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    29
OS2TypoAscent: 0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    30
OS2TypoAOffset: 1
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    31
OS2TypoDescent: 0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    32
OS2TypoDOffset: 1
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    33
OS2TypoLinegap: 90
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    34
OS2WinAscent: 0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    35
OS2WinAOffset: 1
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    36
OS2WinDescent: 0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    37
OS2WinDOffset: 1
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    38
HheadAscent: 0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    39
HheadAOffset: 1
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    40
HheadDescent: 0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    41
HheadDOffset: 1
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    42
OS2Vendor: 'PfEd'
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    43
MarkAttachClasses: 1
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    44
DEI: 91125
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    45
LangName: 1033 
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    46
Encoding: UnicodeFull
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    47
UnicodeInterp: none
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    48
NameList: Adobe Glyph List
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    49
DisplaySize: -96
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    50
AntiAlias: 1
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    51
FitToEm: 1
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    52
WinInfo: 8560 20 14
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    53
BeginPrivate: 0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    54
EndPrivate
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    55
TeXData: 1 0 0 346030 173015 115343 0 1048576 115343 783286 444596 497025 792723 393216 433062 380633 303038 157286 324010 404750 52429 2506097 1059062 262144
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    56
BeginChars: 1114112 7
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    57
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    58
StartChar: uni2759
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    59
Encoding: 10073 10073 0
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    60
Width: 44
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    61
VWidth: 1670
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    62
Flags: HW
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    63
LayerCount: 2
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    64
Fore
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    65
SplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    66
33.4502 5 m 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    67
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    68
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    69
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    70
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    71
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    72
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    73
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    74
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    75
EndSplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    76
EndChar
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    77
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    78
StartChar: uni21E9
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    79
Encoding: 8681 8681 1
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    80
Width: 44
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    81
VWidth: 1670
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    82
Flags: HW
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    83
LayerCount: 2
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    84
Fore
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    85
SplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    86
33.4502 5 m 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    87
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    88
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    89
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    90
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    91
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    92
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    93
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    94
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    95
EndSplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    96
EndChar
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    97
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    98
StartChar: uni21E7
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
    99
Encoding: 8679 8679 2
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   100
Width: 44
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   101
VWidth: 1670
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   102
Flags: HW
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   103
LayerCount: 2
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   104
Fore
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   105
SplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   106
33.4502 5 m 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   107
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   108
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   109
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   110
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   111
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   112
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   113
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   114
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   115
EndSplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   116
EndChar
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   117
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   118
StartChar: uni21D6
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   119
Encoding: 8662 8662 3
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   120
Width: 44
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   121
VWidth: 1670
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   122
Flags: HW
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   123
LayerCount: 2
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   124
Fore
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   125
SplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   126
33.4502 5 m 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   127
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   128
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   129
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   130
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   131
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   132
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   133
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   134
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   135
EndSplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   136
EndChar
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   137
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   138
StartChar: uni21D7
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   139
Encoding: 8663 8663 4
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   140
Width: 44
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   141
VWidth: 1670
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   142
Flags: HW
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   143
LayerCount: 2
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   144
Fore
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   145
SplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   146
33.4502 5 m 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   147
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   148
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   149
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   150
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   151
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   152
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   153
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   154
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   155
EndSplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   156
EndChar
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   157
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   158
StartChar: uni21D8
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   159
Encoding: 8664 8664 5
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   160
Width: 44
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   161
VWidth: 1670
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   162
Flags: HW
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   163
LayerCount: 2
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   164
Fore
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   165
SplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   166
33.4502 5 m 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   167
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   168
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   169
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   170
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   171
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   172
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   173
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   174
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   175
EndSplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   176
EndChar
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   177
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   178
StartChar: uni21D9
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   179
Encoding: 8665 8665 6
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   180
Width: 44
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   181
VWidth: 1670
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   182
Flags: HW
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   183
LayerCount: 2
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   184
Fore
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   185
SplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   186
33.4502 5 m 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   187
 33.4502 1.7998 32.2998 -0.966797 30 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   188
 27.7002 -5.63379 24.9336 -6.7998 21.7002 -6.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   189
 18.4668 -6.7998 15.7002 -5.63379 13.4004 -3.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   190
 11.1006 -0.966797 9.9502 1.7998 9.9502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   191
 9.9502 8.2002 11.1006 10.9668 13.4004 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   192
 15.7002 15.6328 18.4668 16.7998 21.7002 16.7998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   193
 24.9336 16.7998 27.7002 15.6328 30 13.2998 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   194
 32.2998 10.9668 33.4502 8.2002 33.4502 5 c 128
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   195
EndSplineSet
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   196
EndChar
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   197
EndChars
87c6158f4ef4 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
wenzelm
parents:
diff changeset
   198
EndSplineFont