Tue Apr 13 15:04:03 2021 UTC ()
templates: match pkgsrc website

- downsize logo to 150px
- add slight padding to edges of screen


(nia)
diff -r1.11 -r1.12 pkgsrc/templates/main.css

cvs diff -r1.11 -r1.12 pkgsrc/templates/main.css (expand / switch to unified diff)

--- pkgsrc/templates/main.css 2021/04/12 14:01:33 1.11
+++ pkgsrc/templates/main.css 2021/04/13 15:04:03 1.12
@@ -1,21 +1,23 @@ @@ -1,21 +1,23 @@
1/* $NetBSD: main.css,v 1.11 2021/04/12 14:01:33 nia Exp $ */ 1/* $NetBSD: main.css,v 1.12 2021/04/13 15:04:03 nia Exp $ */
2 2
3body { 3body {
4 font-family: sans-serif; 4 font-family: sans-serif;
5 background-color: #fff; 5 background-color: #fff;
6 color: #000; 6 color: #000;
7 max-width: 1100px; 7 max-width: 1100px;
8 margin: auto; 8 margin: auto;
 9 padding-left: 10px;
 10 padding-right: 10px;
9} 11}
10 12
11body, pre, code, samp { 13body, pre, code, samp {
12 font-size: 16px; 14 font-size: 16px;
13} 15}
14 16
15pre { 17pre {
16 overflow-x: auto; 18 overflow-x: auto;
17} 19}
18 20
19h1 { 21h1 {
20 font-size: 160%; 22 font-size: 160%;
21} 23}
@@ -48,27 +50,27 @@ a:visited:hover { @@ -48,27 +50,27 @@ a:visited:hover {
48 50
49th { 51th {
50 text-align: left; 52 text-align: left;
51 font-weight: bold; 53 font-weight: bold;
52} 54}
53 55
54hr { 56hr {
55 border: 0; 57 border: 0;
56 border-bottom: 1px solid #aaa; 58 border-bottom: 1px solid #aaa;
57 clear: both; 59 clear: both;
58} 60}
59 61
60#logo { 62#logo {
61 width: 200px; 63 width: 150px;
62 float: right; 64 float: right;
63 border: 0; 65 border: 0;
64 margin-bottom: 1em; 66 margin-bottom: 1em;
65} 67}
66 68
67 69
68.package-data { 70.package-data {
69 list-style-type: none; 71 list-style-type: none;
70 padding-left: 0; 72 padding-left: 0;
71 padding-top: 1em; 73 padding-top: 1em;
72 padding-bottom: 1em; 74 padding-bottom: 1em;
73 border-top: 1px solid #aaa; 75 border-top: 1px solid #aaa;
74 border-bottom: 1px solid #aaa; 76 border-bottom: 1px solid #aaa;
@@ -78,21 +80,20 @@ nav { @@ -78,21 +80,20 @@ nav {
78 margin-bottom: 1em; 80 margin-bottom: 1em;
79} 81}
80 82
81th { 83th {
82 padding-right: 90px; 84 padding-right: 90px;
83} 85}
84 86
85@media (max-width: 800px) { 87@media (max-width: 800px) {
86 #logo { 88 #logo {
87 float: none; 89 float: none;
88 display: block; 90 display: block;
89 margin-left: auto; 91 margin-left: auto;
90 margin-right: auto; 92 margin-right: auto;
91 width: 150px; 
92 } 93 }
93 94
94 th { 95 th {
95 padding-right: 0; 96 padding-right: 0;
96 } 97 }
97} 98}
98 99