morph/respec.template at master · ontolex/morph · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
<!DOCTYPE html>
<html
  prefix="rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#
    rdfs: http://www.w3.org/2000/01/rdf-schema#
    owl: http://www.w3.org/2002/07/owl#
    xsd: http://www.w3.org/2001/XMLSchema#
    ontolex: http://www.w3.org/ns/lemon/ontolex#
    synsem: http://www.w3.org/ns/lemon/synsem#
    decomp: http://www.w3.org/ns/lemon/decomp#
    vartrans: http://www.w3.org/ns/lemon/vartrans#
    lime: http://www.w3.org/ns/lemon/lime#
    morph: http://www.w3.org/ns/lemon/morph#">
  <head>
    <meta charset="utf-8" />
    <title>$title$</title>
    <script
      src="https://www.w3.org/Tools/respec/respec-w3c"
      class="remove"
      defer
    ></script>
    <script class="remove">
      // All config options at https://respec.org/docs/
      var respecConfig = {
        specStatus: "CG-DRAFT",
        editors: [
$for(editor)$
    {
"name":
"$editor.name$",
"company":
"$editor.company$",
"companyURL":
"$editor.companyURL$"},
$endfor$
        ],
        authors: [
$for(author)$
    {
"name":
"$author.name$",
"company":
"$author.company$",
"companyURL":
"$author.companyURL$"},
$endfor$
        ],
        github: "ontolex/morph",
        shortName: "morph",
        group: "ontolex",
        latestVersion: "https://ontolex.github.io/morph/",
        localBiblio: {
            "ontolex": {
                href: "https://ontolex.github.io/ontolex/specification.html",
                title: "lemon - Lexicon Model for Ontologies",
                status: "CG-DRAFT",
                publisher: "W3C"
            }
        }
      };
    </script>
    <style>
.entity {
     border: 1px solid #000080;
     width: 80%;
     margin-left: auto;
     margin-right: auto;
     padding: 10px;
     margin-bottom: 10px;
 }
.entity > p:first-child {
     margin-top: 3px;
     padding-bottom: 5px;
     border-bottom: 1px solid #000080;
     font-size: 120%;
     color: var(--heading-text);
     page-break-after: avoid;
     page-break-inside: avoid;
     line-height: 1.2;        /* Keep wrapped headings compact */
     hyphens: manual;         /* Hyphenated headings look weird */
}
.description {
     border-top: 1px dashed #808080;
     margin-top: 5px;
     padding-bottom: 5px;
}
.example img {
    max-width: 100%;
}

 </style>
  </head>
  <body lang="en">
  $body$
  </body>
</html>