Skip to content

Commit 5742b63

Browse files
support footnotes
1 parent 426c3d9 commit 5742b63

File tree

3 files changed

+26
-1
lines changed

3 files changed

+26
-1
lines changed

docs/stylesheets/extra.css

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,16 @@
3636
display: none;
3737
}
3838

39+
/* disable header of footnotes */
40+
.footnote h1 {
41+
display: none;
42+
}
43+
44+
/* do not show link details in brackets content: " [" attr(href) "]" */
45+
.md-typeset a:after {
46+
display: none;
47+
}
48+
3949
/* disable scrollbar */
4050
.md-typeset__scrollwrap,
4151
.md-typeset table:not([class]),
@@ -65,6 +75,11 @@
6575
page-break-before: avoid;
6676
}
6777

78+
[id="we-do-not-agree-with-all-your-standards"],
79+
[id="column"],
80+
[id="sequence"],
81+
[id="temporary-table-global-temporary-table"],
82+
[id="code-commenting"],
6883
[id="variables-types"],
6984
[id="numeric-data-types"],
7085
[id="character-data-types"],

mkdocs.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,7 @@ extra_javascript:
2323
markdown_extensions:
2424
- admonition
2525
- pymdownx.arithmatex
26+
- footnotes
2627

2728
extra:
2829
guideline_version: 3.4-SNAPSHOT

tools/run-in-container/genpdf.sh

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,15 @@ function create_cover() {
1919
function write_file(){
2020
FILE=$1
2121
echo "" >> ${TARGET_DIR}/docs/index.md
22-
sed -e 's/..\/image/image/g' ${DATA_DIR}/docs/${FILE} | sed -e 's/✘/X/g' >> ${TARGET_DIR}/docs/index.md
22+
sed -e 's/..\/image/image/g' ${DATA_DIR}/docs/${FILE} | \
23+
sed -e 's|../4-language-usage/2-variables-and-types/1-general/g-2150|#g-2150-avoid-comparisons-with-null-value-consider-using-is-not-null|g' | \
24+
sed -e 's|../3-coding-style/coding-style/#rules|#rules|g' | \
25+
sed -e 's/✘/X/g' >> ${TARGET_DIR}/docs/index.md
26+
}
27+
28+
function fix_footnote_links() {
29+
mv index.html index.ori.html
30+
sed -e 's/a class="footnote-ref"/a /g' index.ori.html > index.html
2331
}
2432

2533
function write_text(){
@@ -47,6 +55,7 @@ function convert_to_pdf(){
4755
cd ${TARGET_DIR}
4856
mkdocs build
4957
cd site
58+
fix_footnote_links
5059
wkhtmltopdf --javascript-delay 3000 \
5160
--outline-depth 6 \
5261
--outline \

0 commit comments

Comments
 (0)