web/style.less: Styles for heading anchors

Signed-off-by: Timothy Gu <timothygu99@gmail.com>
FFmpeg · Dec 6, 2014 · 5e6ad7e · 5e6ad7e
1 parent 5c2998d
commit 5e6ad7e
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git 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
@@ -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 {