[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