Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Automatic deployment
Browse files Browse the repository at this point in the history
Godin committed Nov 25, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
0 parents commit f973cd5
Showing 1,165 changed files with 143,964 additions and 0 deletions.
Empty file added .nojekyll
Empty file.
1 change: 1 addition & 0 deletions CNAME
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
www.eclemma.org
186 changes: 186 additions & 0 deletions book.css
Original file line number Diff line number Diff line change
@@ -0,0 +1,186 @@
P.Code {
display: block;
text-align: left;
text-indent: 0.00pt;
margin-top: 0.000000pt;
margin-bottom: 0.000000pt;
margin-right: 0.000000pt;
margin-left: 15pt;
font-size: 10.000000pt;
color: #4444CC;
text-decoration: none;
vertical-align: baseline;
text-transform: none;
font-family: "Courier New";
}
H6.CaptionFigColumn {
display: block;
text-align: left;
text-indent: 0.000000pt;
margin-top: 3.000000pt;
margin-bottom: 11.000000pt;
margin-right: 0.000000pt;
margin-left: 0.000000pt;
font-size: 9.000000pt;
font-style: Italic;
color: #000000;
text-decoration: none;
vertical-align: baseline;
text-transform: none;
font-family: "Arial";
}
P.Note {
display: block;
text-align: left;
text-indent: 0pt;
margin-top: 19.500000pt;
margin-bottom: 19.500000pt;
margin-right: 0.000000pt;
margin-left: 30pt;
font-size: 11.000000pt;
font-style: Italic;
color: #000000;
text-decoration: none;
vertical-align: baseline;
text-transform: none;
font-family: "Arial";
}
EM.UILabel {
font-weight: Bold;
text-decoration: none;
vertical-align: baseline;
text-transform: none;
}
EM.CodeName {
font-weight: Bold;
text-decoration: none;
vertical-align: baseline;
text-transform: none;
font-family:"Courier New";
}

body, html { border: 0px }


/* following font face declarations need to be removed for DBCS */

body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, Helvetica, sans-serif; color: #000000}
pre { font-family: Courier, monospace}

/* end font face declarations */

/* following font size declarations should be OK for DBCS */
body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-size: 10pt; }
pre { font-size: 10pt}

/* end font size declarations */

body { background: #FFFFFF}
h1 { font-size: 18pt; margin-top: 15px; margin-bottom: 3px }
h2 { font-size: 14pt; margin-top: 20px; margin-bottom: 3px }
h3 { font-size: 11pt; margin-top: 20px; margin-bottom: 3px }
h4 { font-size: 10pt; margin-top: 20px; margin-bottom: 3px; font-style: italic }
p { margin-top: 10px; margin-bottom: 10px }
pre { margin-left: 6px; font-size: 9pt; color: #4444CC }
a:link { color: #0000FF }
a:hover { color: #000080 }
a:visited { text-decoration: underline }
ul { margin-top: 0; margin-bottom: 10px }
li { margin-top: 0; margin-bottom: 0 }
li p { margin-top: 0; margin-bottom: 0 }
ol { margin-top: 0; margin-bottom: 10px }
dl { margin-top: 0; margin-bottom: 10px }
dt { margin-top: 0; margin-bottom: 0; font-weight: bold }
dd { margin-top: 0; margin-bottom: 0 }
strong { font-weight: bold}
em { font-style: italic}
var { font-style: italic}
div.revision { border-left-style: solid; border-left-width: thin;
border-left-color: #7B68EE; padding-left:5px }
th { font-weight: bold }

pre.code {
color: #000000;
margin: 0px 0px 0px 0px;
padding: 10px 10px 10px 10px;
background-color:#e0e0e0;
border: 1px solid #000000;
}

div.menu {
background-image:url(images/topic.gif);
background-repeat:no-repeat;
background-position:left center;
padding-left:17px;
white-space:nowrap;
margin-bottom:2pt;
}
div.menu a {
color:#000000;
text-decoration:none;
}
div.menu a:visited {
color:#000000;
text-decoration:none;
}
div.menu a:hover {
text-decoration:underline;
}
div.menuhi {
color:#ffffff;
background-color:#000080;
background-image:url(images/topic.gif);
background-repeat:no-repeat;
background-position:left center;
padding-left:17px;
white-space:nowrap;
margin-bottom:2pt;
}
div.menuhi a {
color:#ffffff;
text-decoration:none;
}
div.menuhi a:visited {
color:#ffffff;
text-decoration:none;
}
div.menuhi a:hover {
text-decoration:underline;
}

a.extern {
background-image:url(images/extern.gif);
background-repeat:no-repeat;
background-position:left center;
padding-left:15px;
}

td.footer {
color:#8998a5;
font-size:8pt;
}
td.footer a {
color:#8998a5;
}

p.info {
color: #000000;
margin: 0px 0px 0px 0px;
padding: 5px 5px 5px 25px;
background-color:#e0e0ff;
border: 1px solid #8080ff;
background-image:url(images/info.gif);
background-position:5px 5px;
background-repeat:no-repeat;
}

p.warn {
color: #000000;
margin: 0px 0px 0px 0px;
padding: 5px 5px 5px 25px;
background-color:#ffffe0;
border: 1px solid #ffcc00;
background-image:url(images/warning.gif);
background-position:5px 5px;
background-repeat:no-repeat;
}
Loading

0 comments on commit f973cd5

Please sign in to comment.