doc: move ul styling to pipe.css

13 years ago · 31ddd9516e
6 changed files with 5 additions and 30 deletions
--- 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">
--- 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">
--- 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">
--- 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">
--- 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">
--- 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;