diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/about/index.html | 6 | ||||
| -rw-r--r-- | doc/community/index.html | 6 | ||||
| -rw-r--r-- | doc/download/index.html | 6 | ||||
| -rw-r--r-- | doc/index.html | 6 | ||||
| -rw-r--r-- | doc/logos/index.html | 6 | ||||
| -rw-r--r-- | doc/pipe.css | 5 |
6 files changed, 5 insertions, 30 deletions
diff --git a/doc/about/index.html b/doc/about/index.html index 07e95bb054..ef2e4c52f5 100644 --- a/doc/about/index.html +++ b/doc/about/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"> diff --git a/doc/community/index.html b/doc/community/index.html index 5d51d08b3e..80a64d4c1d 100644 --- a/doc/community/index.html +++ b/doc/community/index.html @@ -2,12 +2,6 @@ <html lang="en"> <head> <meta charset="utf-8"> - <style> - ul { - padding: 0; - margin: 0; - } - </style> <script src="../sh_main.js"></script> <script src="../sh_javascript.min.js"></script> <link type="image/x-icon" rel="icon" href="../favicon.ico"> diff --git a/doc/download/index.html b/doc/download/index.html index bb753fd450..c6031e6037 100644 --- a/doc/download/index.html +++ b/doc/download/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"> 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"> diff --git a/doc/logos/index.html b/doc/logos/index.html index 62e308229a..92e749cf0e 100644 --- a/doc/logos/index.html +++ b/doc/logos/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"> diff --git a/doc/pipe.css b/doc/pipe.css index d3e0d68010..744304e188 100644 --- a/doc/pipe.css +++ b/doc/pipe.css @@ -26,6 +26,11 @@ img { border: 0; } +ul { + margin: 0px; + padding: 0px; +} + @media all and (min-height: 650px) { #toc { position: fixed; |