authorgravatar for 35231115+Rocknest@users.noreply.github.comRocknest <35231115+Rocknest@users.noreply.github.com> 2019-10-12 19:17:35+03:00
committergravatar for 35231115+Rocknest@users.noreply.github.comRocknest <35231115+Rocknest@users.noreply.github.com> 2019-10-12 19:17:35+03:00
logb175468159c8c08b1185e21ed595205a6fe3d72d
treec5162c3ce645308aca6b401a59bd5ca8d5ad1c0b
parentb0cd64c019a77366abb69cf1645d84f416543df3

Consistent margins


1 files changed, 25 insertions(+), 9 deletions(-)

lib/std/special/docs/index.html+25-9
......@@ -96,11 +96,12 @@
9696 }
9797
9898 .sidebar .logo {
99 padding: 0.35rem 0.35rem;
99 padding: 1rem 0.35rem 0.35rem 0.35rem;
100100 }
101101
102 .sidebar .logo > img {
103 width: 100%;
102 .sidebar .logo > svg {
103 display: block;
104 overflow: visible;
104105 }
105106
106107 .sidebar h2 {
......@@ -144,7 +145,7 @@
144145
145146 /* docs section */
146147 .docs {
147 padding: 0.7rem 0.7rem 2.4rem 1.4rem;
148 padding: 1rem 0.7rem 2.4rem 1.4rem;
148149 font-size: 1rem;
149150 background-color: var(--bg-color);
150151 overflow-wrap: break-word;
......@@ -152,6 +153,7 @@
152153
153154 .docs .search {
154155 width: 100%;
156 margin-bottom: 0.8rem;
155157 padding: 0.5rem;
156158 font-size: 1rem;
157159 font-family: var(--ui);
......@@ -184,6 +186,10 @@
184186 color: var(--link-color);
185187 }
186188
189 .docs p {
190 margin: 0.8rem 0;
191 }
192
187193 .docs pre {
188194 font-family: var(--mono);
189195 font-size:1em;
......@@ -194,22 +200,25 @@
194200
195201 .docs code {
196202 font-family: var(--mono);
197 font-size:1em;
203 font-size: 1em;
198204 }
199205
200206 .docs h1 {
201 border-bottom: 1px dashed;
207 font-size: 1.4em;
208 margin: 0.8em 0;
209 padding: 0;
210 border-bottom: 0.0625rem dashed;
202211 }
203212
204213 .docs h2 {
205214 font-size: 1.3em;
206215 margin: 0.5em 0;
207216 padding: 0;
208 border-bottom: 1px solid;
217 border-bottom: 0.0625rem solid;
209218 }
210219 #listNav {
211220 list-style-type: none;
212 margin: 0.5em 0 0 0;
221 margin: 0;
213222 padding: 0;
214223 overflow: hidden;
215224 background-color: #f1f1f1;
......@@ -424,7 +433,14 @@
424433 <div class="flex-left sidebar">
425434 <nav>
426435 <div class="logo">
427 <img alt="ZIG" id="logo" src="data:image/svg+xml;base64,PHN2ZyB2ZXJzaW9uPSIxLjEiIHZpZXdCb3g9IjAgMCAxNTAgMTAwIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjxnIGZpbGw9IiNmN2E0MWQiPjxwYXRoIGQ9Im0wIDEwdjgwaDE5bDYtMTAgMTItMTBoLTE3di00MGgxNXYtMjB6bTQwIDB2MjBoNjJ2LTIwem05MSAwLTYgMTAtMTIgMTBoMTd2NDBoLTE1djIwaDM1di04MHptLTgzIDYwdjIwaDYydi0yMHoiIHNoYXBlLXJlbmRlcmluZz0iY3Jpc3BFZGdlcyIvPjxwYXRoIGQ9Im0zNyA3MC0xOCAyMHYtMTV6Ii8+PHBhdGggZD0ibTExMyAzMCAxOC0yMHYxNXoiLz48cGF0aCBkPSJtOTYuOTggMTAuNjMgMzYuMjgtMTAuNC04MC4yOSA4OS4xNy0zNi4yOCAxMC40eiIvPjwvZz48L3N2Zz4K"></img>
436 <svg version="1.1" viewBox="0 0 150 80" xmlns="http://www.w3.org/2000/svg">
437 <g fill="#f7a41d">
438 <path d="m0,-0.08899l0,80l19,0l6,-10l12,-10l-17,0l0,-40l15,0l0,-20l-35,0zm40,0l0,20l62,0l0,-20l-62,0zm91,0l-6,10l-12,10l17,0l0,40l-15,0l0,20l35,0l0,-80l-19,0zm-83,60l0,20l62,0l0,-20l-62,0z" shape-rendering="crispEdges"></path>
439 <path d="m37,59.91101l-18,20l0,-15l18,-5z"></path>
440 <path d="m113,19.91101l18,-20l0,15l-18,5z"></path>
441 <path d="m96.98,0.54101l36.28,-10.4l-80.29,89.17l-36.28,10.4l80.29,-89.17z"></path>
442 </g>
443 </svg>
428444 </div>
429445 <div id="sectPkgs" class="hidden">
430446 <h2><span>Packages</span></h2>