EOF -write_page "

Reproducible NetBSD ?

" write_page_intro NetBSD write_page "

$GOOD_FILES ($GOOD_PERCENT%) out of $ALL_FILES built netbsd files were reproducible in our test setup" if [ "$GOOD_PERCENT" = "100.0" ] ; then diff --git a/userContent/reproducible/netbsd/NetBSD-smaller.png b/userContent/reproducible/netbsd/NetBSD-smaller.png new file mode 100644 index 00000000..20cd384a Binary files /dev/null and b/userContent/reproducible/netbsd/NetBSD-smaller.png differ diff --git a/userContent/reproducible/netbsd/global.css b/userContent/reproducible/netbsd/global.css new file mode 100644 index 00000000..7f8b345e --- /dev/null +++ b/userContent/reproducible/netbsd/global.css @@ -0,0 +1,637 @@ +/* ##### Common Styles ##### */ + +body { + background-color: #ffffff; + color: #000000; + font-family: Tahoma, sans-serif; + font-size: small; + line-height: 1.3em; + margin: 0; + padding: 0; +} + +acronym, .titleTip { + border-bottom: 1px dotted rgb(61,92,122); + cursor: help; + margin: 0; + padding: 0 0 0.4px 0; +} + +img { + border: none; +} + +a:link { + color: #b84e0d; + text-decoration: none; +} + +a:hover { + color: #f26711; + text-decoration: underline; +} + +a:visited { + color: #880000; + text-decoration: none; +} + +a:visited:hover { + color: #f26711; + text-decoration: underline; +} + +h3 { + color: #777777; +} + +h4 { + color: #777777; +} + +.doNotDisplay { + display: none !important; +} + +/* ##### Header ##### */ + +.topNavigation { + color: #555555; + margin: 0; + padding: 0.5ex 5px; + border-bottom: 1px dotted #777777; +} + +.topNavigation span { + color: #b84e0d; +} + +.topNavigation small { + font-size: 80%; +} + +.topNavigation a:link { + color: #555555; + text-decoration: none; + margin: 0; + padding: 0 0.25ex 0 0; +} + +.topNavigation a:hover { + color: #000000; + text-decoration: underline; +} + +.topNavigation a:visited { + color: #555555; + text-decoration: none; +} + +.topNavigation a:visited:hover { + color: #000000; + text-decoration: underline; +} + +#centralHeader { + background-color: #ffffff; + margin: 0 0 0 65px; +} + +#logo { + height: 75px; + white-space: nowrap; + line-height: 1.3em; +} + +#logo img { + margin: -15px 20px 0 0; + float: left; + height: 90px; +} + +#logo #name, #logo #slogan { + height: 17px; + margin: 17px 0 16px 0; + font-weight: bold; +} + +#logo #name a { + color: #777777; + font-size: xx-large; +} + +#logo #slogan a { + color: #F26711; + font-style: italic; + font-size: 21px; +} + +#logo a:hover { + text-decoration: none; +} + +#headerLangs a { + color: #777777; + background-color: transparent; + text-decoration: none; + margin: 0; + padding: 0 0 0.5ex 0; +} + +#headerLangs a:hover { + color: #f26711; + background-color: transparent; + text-decoration: underline; +} + +#headerLangs { + position: absolute; + top: 2.5em; + right: 1em; + white-space: nowrap; +} + +.whiteOnBlack { + background-color: #ffffff !important; + color: #000000 !important; +} + +#headerMirrors select { + font-size: 12px; +} + +#headerTools { + text-align: right; + position: absolute; + top: 20px; + right: 1em; + margin: 0; + width: 22em; +} + +#headerTools input { + background-color: #eeeeee; + color: #555555; + border: 1px solid #d4d4d4; + padding: 1px 5px 1px 5px; + font-size: small; + width: 5em; +} + +#headerTools input[type=text] { + margin-right: 5px; + width: 13em; +} + +#navBar { + font-size: 14px; + font-weight: bold; + min-width: 900px; + background: url("./images/navBar-gradient.png") repeat-x scroll 0% 0% rgb(54, 54, 54); + background-color: rgb(54, 54, 54); +} + +#navBar a { + display: block; + color: #ffffff; + padding: 0.7em 0.5em 0.7em 0.5em; +} + +#navBar ul { + margin: 0 0 0 1em; + padding: 0; + list-style: none outside none; + display: inline; +} + +#navBar ul li { + display: inline-block; + position: relative; + *display: inline; /* for IE 7 compatibility */ + zoom: 1; /* for IE 7 compatibility */ +} + +#navBar ul li:hover>a { + text-decoration: underline; +} + +#navBar ul li ul { + top: 100%; + left: 7%; + margin: 0; + font-size: small; + position: absolute; + z-index: 100; + display: none; + height: 0.5em; + white-space: nowrap; +} + +#navBar ul li ul li a { + min-width: 8em; + border-left: 1px solid #F26711; + border-right: 1px solid #F26711; +} + +#navBar ul li ul li:first-child a { + border-top: 1px solid #F26711; +} + +#navBar ul li ul li:last-child a { + border-bottom: 1px solid #F26711; +} + +#navBar ul li:hover ul li a { + text-decoration: none; + color: #F26711; + background-color: #FFF2E1; +} + +#navBar ul li:hover ul li a:hover { + color: #FFFFFF; + background-color: #F26711; +} + +#navBar ul li ul li, #navBar ul li:hover ul { + display: block; +} + +/* ##### Content ##### */ + +.title { + display: block; +} + +.sideBarLeft p { + clear: both; +} + +.iconsLeft img { + float: left; +} + +.iconsRight img { + float: right; +} + +.featureList { + clear: both; +} + +.featureList h2 { + margin-bottom: 1em !important; +} + +#content { + margin: 0; + clear: left; +} + +#content h1 { + color: #777777; + background-color: transparent; + line-height: 1.3em; + margin: 0; + padding: 1ex 0 0 0; +} + +#content h2 { + color: #777777; + background-color: transparent; + line-height: 1.3em; + margin: 0; + padding: 1ex 0 0 0; +} + +#content h3 { + color: #777777; + background-color: transparent; + line-height: 1.3em; + margin: 0; + padding: 1ex 0 0 0; +} + +#content h4 { + color: #777777; + background-color: transparent; + line-height: 1.3em; + margin: 0; + padding: 1ex 0 0 0; +} + +#content h5 { + color: #777777; + background-color: transparent; + line-height: 1.3em; + margin: 0; + padding: 1ex 0 0 0; +} + +#content p { + line-height: 1.3em; + margin: 1em 0 1.5em 0; + padding: 0; +} + +#platinumDonorLogo { + text-align: left; + width: 150px; + padding-left: 1em; +} + +.buttons { + text-align: center; + margin-top: 2em; + line-height: 3em; +} + +.buttons img, .buttons form { + margin: 1ex; +} + +#news { + color: #777777; + font-style: italic; +} + +#news ul { + list-style-type: none; + padding: 0; + padding-left: 1em; + margin: 0; + margin-top: 1em; +} + +#news li { + margin: 0; + padding: 0; + padding-bottom: 1em; +} + +#news li a { + font-style: normal; +} + +#news img { + margin-top: 1em; +} + +.more { + margin: 0; + padding: 0.5em 0; + white-space: nowrap; +} + +.more a, .more li a { + color: #f26711; + background-color: transparent; + font-weight: bold; + text-decoration: none; + margin: 0; +} + +.more a:hover { + color: #f26711; + text-decoration: underline; +} + +.rowOfBoxes { + clear: both; +} + +.quarter, .oneThird, .half, .twoThirds, .fullWidth { + margin: 10px; + float: left; + border-left: 1px solid rgb(204,204,204); +} + +.quarter { + width: 17%; + padding-left: 1em; + padding-right: 1em; +} + +.oneThird { + width: 28%; + padding: 0 1em; +} + +.half { + text-align: justify; + width: 50%; +} + +.twoThirds { + width: 63%; + padding: 0 1em; +} + +.fullWidth { + width: 96%; + padding: 0 1.2em; + border-left: none; +} + +.filler { /* use with an empty

element to add padding to the end of a text box */ + border: 1px solid white; +} + +.noBorderOnLeft { + border-left: none; +} + +.BorderOnRight { + border-right: 1px solid #d4d4d4; +} + +.dividingBorderAbove { + border-top: 1px solid rgb(204,204,204); +} + +.greyLink a { + color: #777777; + text-decoration: none; +} + +.greyLink a:hover { + text-decoration: underline +} + +.greyLink a:visited { + color: #777777; + text-decoration: none; +} + +.greyLink a:visited:hover { + color: #777777; + text-decoration: underline; +} + +/* ##### Footer ##### */ + +#footer { + color: #777777; + background-color: #f2f2f2;; + text-align: center; + line-height: 1.25em; + margin: 2em 0 0 0; + clear: both; + border-top: 1px solid #d4d4d4; + border-bottom: 1px solid #d4d4d4; +} + +#footer a { + color: #777777;; + background-color: transparent; + text-decoration: underline; +} + +#footer a:hover { + text-decoration: none; +} + +#footerContent { + padding: 1ex 10px; +} + +#footerLogo { + float: right; + text-align: right; + width: 100px; + margin: 0; + padding: 0; +} + +#hackathonBox { + background: #f26711; + color: #ffffff; + margin: 1em 2em; + padding: 1em 2em; + text-align: left; +} + +#hackathonBox a { + color: #ffffff; + text-decoration: underline; +} + +#warnBox { + font-weight: bold; + background: #f26711; + color: #ffffff; + margin: 5px 5px; + padding: 5px 5px; + text-align: center; +} + +#warnBox a { + color: #ffffff; + text-decoration: underline; +} + +/* #### Overrides from the old NetBSD.css stylesheet ### */ + +table { + font-size: 100%; /* keeps font size the same as in the body */ + Border-Width: 0.0em; +} + +table td { + Font-Family: Tahoma, Verdana, sans-serif; + padding: 3pt; +} + +.centered { + Width: 90%; + Margin-Left: auto; + Margin-Right: auto; +} + +.strikethrough { + Text-Decoration: line-through; +} + +.programlisting { + Background-Color: #f5f5f5; + Line-Height: 1.2em; + Border-Color: #d4d4d4; + Border-Style: solid; + Border-Width: thin; + Margin-Left: auto; + Margin-Right: auto; + Padding: 5pt; + Width: 90%; +} + + +tr { + Vertical-Align: top; +} + +td { + Vertical-Align: top; +} + +th, td.theader { + Background-Color: #f8f8f8; + Font-Weight: bold; + Vertical-Align: middle; + Padding: 5pt; +} + +td.developerslist { + White-space: nowrap; + Padding: 0.3em 0.3em 0.3em 0.3em; +} + +td.developerslistwrap { + White-space: normal; + Padding: 0.3em 0.3em 0.3em 0.3em; +} + +table.developerslist { + Border-Width: 0.0em; + Margin-Left: 0.5em; + Margin-Right: 0.5em; +} + +.center { + Vertical-Align: middle; + Text-Align: center; +} + +tt.filename { + Line-Height: 1.3em; + Color: #AA0000; +} + +tt.varname { + Line-Height: 1.3em; + Color: #2222AA; +} + +.note { + Background-Color: #f5f5f5; + Border-Color: #d4d4d4; + Border-Style: solid; + Border-Width: thin; + Padding: 5pt; +} + +.head { + Font-family: Arial, Verdana, Helvetica, sans-serif; + Font-size: 120%; + Font-weight: bold; + Color: #777777; +} + +.subhead { + Font-family: Arial, Verdana, Helvetica, sans-serif; + Font-size: 90%; + Font-weight: bold; + Color: #777777; +} + + + + -- cgit v1.2.3-70-g09d2