web/style.less: Styles for heading anchors
authorTimothy Gu <timothygu99@gmail.com>
Thu, 4 Dec 2014 05:31:33 +0000 (21:31 -0800)
committerMichael Niedermayer <michaelni@gmx.at>
Sat, 6 Dec 2014 02:39:57 +0000 (03:39 +0100)
Signed-off-by: Timothy Gu <timothygu99@gmail.com>
generate-doc.sh
src/less/style.less

index f953a9a..d8d01d3 100755 (executable)
@@ -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
index 378a972..adb6e17 100644 (file)
@@ -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 {