-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
22 changed files
with
2,400 additions
and
145 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
catalog-v001.xml |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,45 @@ | ||
/* define a class "noprint" for sections which don't get printed */ | ||
.noprint { display: none; } | ||
|
||
/* our syntax menu for switching */ | ||
div.syntaxmenu { | ||
border: 1px dotted black; | ||
padding:0.5em; | ||
margin: 1em; | ||
} | ||
|
||
@media print { | ||
div.syntaxmenu { display:none; } | ||
} | ||
|
||
/* use tab-like headers for syntax examples */ | ||
div.exampleheader { | ||
font-size: 90%; | ||
float: left; | ||
background: #F9F9F9; | ||
color: #2F6FAB; | ||
border: 1px dashed #2F6FAB; | ||
border-bottom: 0px; | ||
padding-top: 2px; | ||
} | ||
|
||
div.exampleheader span.exampleheader { | ||
background: #F9F9F9; | ||
padding-top: 0px; | ||
padding-right: 10px; | ||
padding-left: 10px; | ||
padding-bottom: 3px; | ||
padding-top: 0px; | ||
} | ||
|
||
/* Also copy MediaWiki style here, so it will not look different when exported */ | ||
div.fssyntax pre, div.rdfxml pre, div.owlxml pre, div.turtle pre, div.manchester pre { | ||
background-color: #F9F9F9; | ||
border: 1px dashed #2F6FAB; | ||
color: black; | ||
line-height: 1.1em; | ||
padding: 1em; | ||
clear: both; | ||
margin-left: 0em; | ||
} | ||
/* (further styles directly embedded in header template) */ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,124 @@ | ||
body { | ||
text-align: justify; | ||
} | ||
|
||
h1 { | ||
line-height: 110%; | ||
} | ||
|
||
.hlist { | ||
border: 1px solid navy; | ||
padding:5px; | ||
background-color: #F4FFFF; | ||
} | ||
|
||
.hlist li { | ||
display: inline; | ||
display: inline-table; | ||
list-style-type: none; | ||
padding-right: 20px; | ||
|
||
} | ||
|
||
.entity { | ||
border: 1px solid navy; | ||
margin:5px 0px 5px 0px; | ||
padding: 5px; | ||
} | ||
|
||
.type-c { | ||
cursor:help; | ||
color:orange; | ||
} | ||
|
||
.type-op { | ||
cursor:help; | ||
color:navy; | ||
} | ||
|
||
.type-dp { | ||
cursor:help; | ||
color:green; | ||
} | ||
|
||
.type-ap { | ||
cursor:help; | ||
color:maroon; | ||
} | ||
|
||
.type-ni { | ||
cursor:help; | ||
color:brown; | ||
} | ||
|
||
.logic { | ||
color:purple; | ||
font-weight:bold; | ||
} | ||
|
||
h3 { | ||
margin-top: 3px; | ||
padding-bottom: 5px; | ||
border-bottom: 1px solid navy; | ||
} | ||
|
||
h2 { | ||
margin-top:40px; | ||
} | ||
|
||
.dotted { | ||
border-bottom: 1px dotted gray; | ||
} | ||
|
||
dt { | ||
margin-top:5px; | ||
} | ||
|
||
.description { | ||
border-top: 1px dashed gray; | ||
border-bottom: 1px dashed gray; | ||
background-color: rgb(242, 243, 244); | ||
margin-top:5px; | ||
padding-bottom:5px; | ||
} | ||
|
||
.description dl { | ||
background-color: rgb(242, 243, 244); | ||
} | ||
|
||
.description ul { | ||
padding-left: 12px; | ||
margin-top: 0px; | ||
} | ||
|
||
.backlink { | ||
font-size:10pt; | ||
text-align:right; | ||
float:right; | ||
color:black; | ||
padding: 2px; | ||
border: 1px dotted navy; | ||
background-color: #F4FFFF; | ||
} | ||
|
||
.imageblock { | ||
text-align: center; | ||
} | ||
|
||
.imageblock img { | ||
border:1px solid gray; | ||
} | ||
|
||
.endnote { | ||
margin-top: 40px; | ||
border-top: 1px solid gray; | ||
padding-top: 10px; | ||
text-align: center; | ||
color:gray; | ||
font-size:50%; | ||
} | ||
|
||
.literal { | ||
color:green; | ||
font-style:italic; | ||
} |
Binary file not shown.
Large diffs are not rendered by default.
Oops, something went wrong.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
Oops, something went wrong.