[FFmpeg-devel] [PATCH 1/3] web/style.less: Styles for heading anchors
Timothy Gu
timothygu99 at gmail.com
Thu Dec 4 06:31:33 CET 2014
Signed-off-by: Timothy Gu <timothygu99 at gmail.com>
---
generate-doc.sh | 1 +
src/less/style.less | 12 ++++++++++++
2 files changed, 13 insertions(+)
diff --git a/generate-doc.sh b/generate-doc.sh
index f953a9a..d8d01d3 100755
--- a/generate-doc.sh
+++ b/generate-doc.sh
@@ -30,6 +30,7 @@ export FFMPEG_HEADER1="$(cat src/template_head1)"
export FFMPEG_HEADER2="$(cat src/template_head_prod src/template_head2)"
export FFMPEG_HEADER3="$(cat src/template_head3)"
export FFMPEG_FOOTER="$(cat src/template_footer1 src/template_footer_prod src/template_footer2)"
+export FA_ICONS=true
rm -rf build-doc
mkdir build-doc && cd build-doc
diff --git a/src/less/style.less b/src/less/style.less
index 378a972..adb6e17 100644
--- a/src/less/style.less
+++ b/src/less/style.less
@@ -84,6 +84,12 @@ main {
margin: auto;
}
+h1, h2, h3, h4, h5, h6 {
+ a.anchor {
+ font-size: 18px;
+ }
+}
+
h1, h2, h3, h4 {
font-weight: bold;
text-align: left;
@@ -94,6 +100,9 @@ h1, h2, h3 {
strong {
color: @Cinvert;
}
+ a.anchor {
+ color: @Cmainlightlightl;
+ }
}
h4, h5, h6 {
@@ -115,6 +124,9 @@ h4 {
padding: 10px 0;
margin: 20px 0;
color: @Cinvert;
+ a.anchor {
+ color: @Cinvert;
+ }
}
.list-group {
--
1.9.1
More information about the ffmpeg-devel
mailing list