mirror of
https://github.com/cc65/cc65.git
synced 2024-12-22 12:30:41 +00:00
Made html doc look a little less boring.
This commit is contained in:
parent
c78e8d1945
commit
1968e87cc2
@ -17,7 +17,7 @@ all:
|
||||
|
||||
doc: html
|
||||
|
||||
html: $(addprefix ../html/,$(SGMLS:.sgml=.html))
|
||||
html: $(addprefix ../html/,$(SGMLS:.sgml=.html) doc.css doc.png)
|
||||
|
||||
mostlyclean:
|
||||
|
||||
@ -28,7 +28,10 @@ clean:
|
||||
@mkdir $@
|
||||
|
||||
../html/%.html: %.sgml | ../html
|
||||
@cd ../html && linuxdoc -B html --split=0 --toc=$(TOC_LEVEL) ../doc/$<
|
||||
@cd ../html && linuxdoc -B html -s=0 -T=$(TOC_LEVEL) -H ../doc/header.html ../doc/$<
|
||||
|
||||
../html/doc.%: doc.% | ../html
|
||||
cp $< ../html
|
||||
|
||||
gh-pages: html
|
||||
ifdef GH_TOKEN
|
||||
|
33
doc/doc.css
Normal file
33
doc/doc.css
Normal file
@ -0,0 +1,33 @@
|
||||
body {
|
||||
font-family: arial, helvetica, sans-serif;
|
||||
font-size: 100%;
|
||||
text-align: justify;
|
||||
margin-left: 110px;
|
||||
margin-top: 10px;
|
||||
margin-right: 30px;
|
||||
margin-bottom: 10px;
|
||||
background-image: url(doc.png);
|
||||
background-repeat: repeat-y;
|
||||
}
|
||||
|
||||
h1, h2, h2 a:link, h2 a:active, h2 a:visited {
|
||||
font-weight: bold;
|
||||
font-style: italic;
|
||||
text-align: left;
|
||||
color: #DB3232;
|
||||
}
|
||||
|
||||
h1 {
|
||||
font-size: 250%;
|
||||
text-shadow: 2px 2px 6px #505050;
|
||||
letter-spacing: 2px;
|
||||
padding-top: 40px;
|
||||
}
|
||||
|
||||
h2 {
|
||||
font-size: 160%;
|
||||
text-shadow: 2px 2px 6px #303030;
|
||||
letter-spacing: 1px;
|
||||
margin-top: 2em;
|
||||
margin-bottom: 1em;
|
||||
}
|
BIN
doc/doc.png
Normal file
BIN
doc/doc.png
Normal file
Binary file not shown.
After Width: | Height: | Size: 1.3 KiB |
4
doc/header.html
Normal file
4
doc/header.html
Normal file
@ -0,0 +1,4 @@
|
||||
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
|
||||
<HTML>
|
||||
<HEAD>
|
||||
<LINK REL="stylesheet" TYPE="text/css" HREF="doc.css"/>
|
Loading…
Reference in New Issue
Block a user