diff options
Diffstat (limited to 'doc/index.html')
| -rw-r--r-- | doc/index.html | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/index.html b/doc/index.html index 29695106ca..cb98e4c77c 100644 --- a/doc/index.html +++ b/doc/index.html @@ -2,12 +2,6 @@ <html lang="en"> <head> <meta charset="utf-8"> - <style> - ul { - padding: 0; - margin: 0; - } - </style> <link type="image/x-icon" rel="icon" href="favicon.ico"> <link type="image/x-icon" rel="shortcut icon" href="favicon.ico"> <link rel="stylesheet" href="pipe.css"> |