3rdparties/software/trivial-garbage-20200325-git/doc/index.css (2530 bytes)
1 /* based on atdoc's orange-sans.css */ 2 3 div.sidebar { 4 float: right; 5 min-width: 15%; 6 padding: 0pt 5pt 5pt 5pt; 7 font-family: verdana, arial; 8 } 9 10 a { 11 text-decoration: none; 12 color: #ee8500; 13 /* 14 border-bottom: 1px dotted black; 15 border-top: 1px solid white; 16 border-left: 1px solid white; 17 border-right: 1px solid white; 18 padding-top: 1px; 19 padding-bottom: 1px; 20 */ 21 } 22 23 .nonlink { 24 border-bottom: 1px solid white; 25 border-top: 1px solid white; 26 border-left: 1px solid white; 27 border-right: 1px solid white; 28 padding-top: 1px; 29 padding-bottom: 1px; 30 } 31 32 .sidebar a { 33 border-top: 1px solid #eeeeee; 34 border-left: 1px solid #eeeeee; 35 border-right: 1px solid #eeeeee; 36 } 37 38 /* 39 a:hover { 40 color: #000000; 41 border: 1px solid black; 42 } 43 */ 44 45 #headerlink { 46 border: none; 47 } 48 49 #headerlink:hover { 50 border: none; 51 } 52 53 body { 54 color: #000000; 55 background-color: #ffffff; 56 margin-top: 2em; 57 margin-right: 10em; 58 margin-left: 10em; 59 font-family: helvetica, verdana, arial; 60 } 61 62 .main { 63 margin-top: 20px; 64 margin-left: 40px; 65 } 66 67 .padded { 68 padding-left: 30px; 69 } 70 71 .padded h1,h2 { 72 margin-left: -30px; 73 } 74 75 h1 { 76 color: #ee8500; 77 font-size: 22pt; 78 } 79 80 h3 { 81 color: #000000; 82 border-bottom: 2px solid #ff9500; 83 margin-left: -3px; 84 padding-left: 3px; 85 padding-top: 2em; 86 } 87 88 h4 { 89 } 90 91 .grau { 92 padding-top: 1em; 93 } 94 95 .code { 96 border: solid 1px #d0d0d0; 97 padding: 1em; 98 margin-right: 10%; 99 } 100 101 .indent { 102 /*margin-left: 20px; 103 padding-bottom: 1em;*/ 104 } 105 106 .def { 107 padding: 1px 1px 1px 1px; 108 margin-bottom: 1px; 109 font-weight: bold; 110 margin-right: 40px; 111 } 112 113 .nomargin { 114 margin-bottom: 0; 115 margin-top: 0; 116 } 117 118 .noindent { 119 margin-left: -30px; 120 padding-bottom: 1em; 121 } 122 123 #header { 124 margin-right: 22px; 125 /*border-bottom: 1px solid black;*/ 126 font-family: verdana, arial; 127 font-size: 18pt; 128 padding-bottom: 1px; 129 } 130 131 pre { 132 background-color: #eeeeee; 133 border: solid 1px #d0d0d0; 134 padding: 1em; 135 margin-right: 10%; 136 } 137 #sp-package-list { 138 /* ... */ 139 } 140 141 #sp-about-packages { 142 /* ... */ 143 } 144 145 .sp-lambda-list { 146 background-color: #f4f4f4; 147 padding: 3px 3px 3px 3px; 148 } 149 150 .sp-definition { 151 border: 1px solid #cccccc; 152 padding: 3px 3px 3px 3px; 153 } 154 155 .sp-definition-body { 156 padding-left: 2em; 157 padding-right: 2em; 158 padding-top: 0.5em; 159 padding-bottom: 1em; 160 } 161 162 .sp-definition-body ul { 163 margin-top: 0; 164 margin-bottom: 0; 165 } 166 167 .sp-return { 168 } 169 170 .sph3 { 171 padding-top: 1em; 172 font-weight: bold; 173 } 174 175 #about-package-legend { display: none } 176 #contents { display: none } 177 .function-details-legend { display: none } 178 #heading2 { display: none }