diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/index.html b/man/index.html index 06feb5e7..e8ae7bf7 100644 --- a/man/index.html +++ b/man/index.html @@ -427,6 +427,7 @@ body.book #toc,body.book #preamble,body.book h1.sect0,body.book .sect1>h2{page-b .hide-for-print{display:none!important} .show-for-print{display:inherit!important}} </style> +<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.6.3/css/font-awesome.min.css"> </head> <body class="article"> <div id="header"> |