diff options
author | Peter Hutterer <peter.hutterer@who-t.net> | 2017-02-23 07:14:39 +1000 |
---|---|---|
committer | Peter Hutterer <peter.hutterer@who-t.net> | 2017-02-23 08:19:37 +1000 |
commit | 8a79d8a487b7f6b87cdf80275ac6bfc984ba1802 (patch) | |
tree | 8da578960d58d06b67dd309bb6b1fb372d2d016f /doc/style | |
parent | 5bb4a6e87f51af7a042f52e6f712cac0fb658381 (diff) |
doc: allow custom styles to overide the bootstrap style
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
Diffstat (limited to 'doc/style')
-rw-r--r-- | doc/style/header.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/style/header.html b/doc/style/header.html index ac3493c..89686d1 100644 --- a/doc/style/header.html +++ b/doc/style/header.html @@ -20,8 +20,6 @@ $mathjax <link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" /> $extrastylesheet - - <link href="bootstrap.css" rel="stylesheet" type="text/css" /> <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.1/js/bootstrap.min.js"></script> <script type="text/javascript" src="doxy-boot.js"></script> </head> |