os/doc
3
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Embiggen fonts and emwiden display. Adjust the main web site CSS so

Browse source 
that fonts are not tiny and the site uses more than the middle third of
the monitor.  Discussed in -doc.

Differential Revision:	https://reviews.freebsd.org/D3215
This commit is contained in:
Warren Block 2015-09-09 00:30:44 +00:00
parent e58bfe136f
commit bf0a6a755e
Notes: svn2git 2020-12-08 03:00:23 +00:00 
svn path=/head/; revision=47390
2 changed files with 29 additions and 36 deletions
Download patch file Download diff file Expand all files Collapse all files

18
en_US.ISO8859-1/htdocs/layout/css/global.css
View file

@ -8,43 +8,42 @@ body {
margin: 0;
padding: 0;
font-family: verdana, sans-serif;
font-size: 69%;
color: #000;
background: #fff url("../images/hdr_fill.png") repeat-x;
}
h1 {
font-size: 1.4em;
font-size: 120%;
font-weight: bold;
margin: 0em 0em 1.2em 0em;
}
h2 {
font-size: 1.2em;
font-size: 115%;
margin: 1.2em 0em 1.2em 0em;
font-weight: bold;
}
h3 {
font-size: 1.0em;
font-size: 110%;
margin: 1.2em 0em 1.2em 0em;
font-weight: bold;
}
h4 {
font-size: 0.95em;
font-size: 100%;
margin: 1.2em 0em 1.2em 0em;
font-weight: bold;
}
h5 {
font-size: 0.9em;
font-size: 90%;
margin: 1.2em 0em 1.2em 0em;
font-weight: bold;
}
h6 {
font-size: 0.85em;
font-size: 85%;
margin: 1.2em 0em 1.2em 0em;
font-weight: bold;
}
@ -61,7 +60,6 @@ ol, ul, li {
}
p {
font-size: 1.0em;
line-height: 1.2em;
margin: 1.2em 0em 1.2em 0em;
}
@ -72,12 +70,12 @@ li > p {
pre {
font-family: monospace;
font-size: 1.4em;
font-size: 1.1em;
}
tt {
font-family: monospace;
font-size: 1.4em;
font-size: 1.1em;
}
strong, b {

47
en_US.ISO8859-1/htdocs/layout/css/layout.css
View file

@ -14,7 +14,7 @@
#container {
margin: 0em auto;
width: 775px;
width: 90%;
padding: 0;
padding-top: 0px;
padding-bottom: 15px;
@ -29,7 +29,7 @@
#header {
position: relative;
height: 76px;
height: 15%;
margin: 0;
padding: 0;
clear: both;
@ -40,7 +40,6 @@
border: 0px;
padding: 0px;
top: 0px;
margin-left: -4%;
float: left;
}
@ -82,15 +81,9 @@
#search form label {
color: #666;
font-size: 0.8em;
}
#search form input {
font-size: 0.8em;
}
#search form #submit {
font-size: 0.8em;
background: transparent;
color: #fff;
border-right: 1px solid #DADADA;
@ -101,8 +94,7 @@
}
#search form #words {
font-size: 0.8em;
width: 120px;
width: 50%;
border: 1px solid #DADADA;
background: #FFFFFF;
color: #666;
@ -160,7 +152,6 @@
#frontcontainer {
width: 100%;
float: left;
}
#frontfeaturecontainer {
@ -168,7 +159,7 @@
}
#frontfeatureleft{
width: 273px;
width: 30%;
margin: 0;
padding: 0;
float: left;
@ -192,6 +183,7 @@
margin-top: 20px;
background: url(../images/beastie.png) no-repeat top left;
min-height: 196px;
width: 30%;
}
#frontfeatureright {
@ -199,13 +191,14 @@
border: 0px;
padding: 0px;
margin: 0px;
width: 162px;
width: 30%;
float: right;
}
/* News/Events/Media/Security Box */
#frontnemscontainer {
width: 100%;
background: #eee;
display: inline;
float: left;
@ -214,7 +207,7 @@
}
#frontnews {
width: 191px;
width: 24%;
margin: 0;
padding: 0;
float: left;
@ -225,7 +218,7 @@
}
#frontevents {
width: 189px;
width: 24%;
margin: 0;
padding: 0;
float: left;
@ -236,7 +229,7 @@
}
#frontmedia {
width: 189px;
width: 24%;
margin: 0;
padding: 0;
float: left;
@ -247,7 +240,7 @@
}
#frontsecurity {
width: 190px;
width: 24%;
margin: 0;
padding: 0;
float: left;
@ -259,8 +252,8 @@
/* No way to get equal columns in pure CSS - setting height is a temporary hack */
.frontseparator {
width: 1px;
height: 317px;
width: 0.5%;
height: 500px;
margin: 0;
padding: 0;
background-color: #fff;
@ -316,6 +309,7 @@
}
#frontshortcutscontent {
float: right;
margin: 0;
padding: 0;
padding-left: 15px;
@ -342,12 +336,12 @@
#frontreleases {
padding: 0;
margin: 0;
margin-left: 162px;
margin-top: 15px;
margin: 8px;
margin-left: 190px;
margin-top: 5px;
padding-bottom: 20px;
color: #666;
width: 155px;
width: 85%;
}
#frontreleasescontent {
@ -377,7 +371,6 @@
.frontnewtop div, .frontnewtop, .frontnewbot div, .frontnewbot {
width: 100%;
height: 12px;
font-size: 1px;
}
.frontnewcontent {
@ -396,6 +389,7 @@
}
.frontnewroundbox {
float: left;
margin: 0;
margin-top: 30px;
padding: 0;
@ -462,7 +456,7 @@
.frontgetroundbox {
margin-top: 50px;
margin-left: 140px;
margin-left: 160px;
padding: 0;
width: 190px;
background-color: #FACC2E;
@ -493,6 +487,7 @@
#footer {
font-size: 0.9em;
text-align: center;
color: #737373;
line-height: 1.3em;
padding-top: 5px;