External/libvirt
1
0
Fork 0
mirror of https://gitlab.com/libvirt/libvirt.git synced 2024-11-08 22:39:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
6b5622e4b5
libvirt/docs/generic.css

77 lines
869 B
CSS
Raw Normal View History

Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
body {
margin: 0em;
padding: 0px;
color: rgb(0,0,0);
docs: generic.css: font size tweaks - change font-family to just 'sans-serif' rather than hardcode a few font families. this means we abide the user's browser font setting, and makes us consistent with other sites like en.wikipedia.org - raise font-size to 90%. this is what en.wikipedia.org uses. With these two tweaks, libvirt.org text renders the same as en.wikipedia.org with fedora firefox out of the box config. Previously the font on libvirt.org was very small and difficult to read.
2016-03-10 01:53:58 +00:00
font-family: sans-serif;
font-size: 90%;
Fix missing background color
2009-12-03 14:27:24 +00:00
background: #ffffff;
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
}
p, ul, ol, dl {
padding: 0px;
margin: 0px;
docs: generic.css: Indentation and spacing tweaks - Add line-height:150% spacing for all text. This makes text lines far less cramped, and seems closer visually to what wikipedia uses. - Remove bottom and top margin from lists: entries seemed needlessly spread out. - Reduce sublist indentation a bit - Add a bottom border after headings: IMO this greatly helps in break up the vertical flow of a big page of text. Doesn't look great on the front page, but helps a lot on dense pages like formatdomain
2016-03-10 01:57:59 +00:00
line-height: 150%;
}
p {
docs: generic.css: minor cleanups - Drop some redundant bits - Use consistent spacing - Group similar blocks near each other There should be no functional change
2016-03-10 01:42:26 +00:00
margin-top: 1em;
margin-bottom: 1em;
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
}
docs: generic.css: minor cleanups - Drop some redundant bits - Use consistent spacing - Group similar blocks near each other There should be no functional change
2016-03-10 01:42:26 +00:00
ul, ol {
docs: generic.css: Indentation and spacing tweaks - Add line-height:150% spacing for all text. This makes text lines far less cramped, and seems closer visually to what wikipedia uses. - Remove bottom and top margin from lists: entries seemed needlessly spread out. - Reduce sublist indentation a bit - Add a bottom border after headings: IMO this greatly helps in break up the vertical flow of a big page of text. Doesn't look great on the front page, but helps a lot on dense pages like formatdomain
2016-03-10 01:57:59 +00:00
margin-left: 2em;
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
}
docs: generic.css: minor cleanups - Drop some redundant bits - Use consistent spacing - Group similar blocks near each other There should be no functional change
2016-03-10 01:42:26 +00:00
dt {
margin-left: 1em;
margin-right: 2em;
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
}
docs: Add bold style for <dt><code> elements Add bolding for <dt><code> elements to make them "stick out" on the page rather that just a stream of text where the elements only differ by slightly different font style.
2016-04-21 11:54:30 +00:00
dt code {
font-weight: bold;
}
docs: generic.css: minor cleanups - Drop some redundant bits - Use consistent spacing - Group similar blocks near each other There should be no functional change
2016-03-10 01:42:26 +00:00
dl dd {
margin-left: 2em;
margin-right: 2em;
margin-bottom: 0.5em;
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
}
docs: generic.css: minor cleanups - Drop some redundant bits - Use consistent spacing - Group similar blocks near each other There should be no functional change
2016-03-10 01:42:26 +00:00
h1, h2, h3, h4, h5, h6 {
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
font-weight: bold;
margin: 0px;
padding: 0px;
docs: website: more header spacing tweaks - remove top padding for h1. this means page titles sit flush with the top of the side bar (like 'The virtualization API' on the front page) - up the top padding for the remaining sections. makes it visually easier to tell adjacent header sections apart, especially in dense wiki pages - use two different spacing levels for h2-h4 and h5-h6, gives pages some more visual flexibility - use a slightly lower bottom padding... this makes top padding stick out more which makes it visually easier to differentiate between adjacent header sections
2016-03-18 19:57:11 +00:00
margin-bottom: 0.25em;
docs: generic.css: Indentation and spacing tweaks - Add line-height:150% spacing for all text. This makes text lines far less cramped, and seems closer visually to what wikipedia uses. - Remove bottom and top margin from lists: entries seemed needlessly spread out. - Reduce sublist indentation a bit - Add a bottom border after headings: IMO this greatly helps in break up the vertical flow of a big page of text. Doesn't look great on the front page, but helps a lot on dense pages like formatdomain
2016-03-10 01:57:59 +00:00
border-bottom: 1px solid #aaa;
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
}
h1 {
docs: website: more header spacing tweaks - remove top padding for h1. this means page titles sit flush with the top of the side bar (like 'The virtualization API' on the front page) - up the top padding for the remaining sections. makes it visually easier to tell adjacent header sections apart, especially in dense wiki pages - use two different spacing levels for h2-h4 and h5-h6, gives pages some more visual flexibility - use a slightly lower bottom padding... this makes top padding stick out more which makes it visually easier to differentiate between adjacent header sections
2016-03-18 19:57:11 +00:00
margin-top: 0em;
docs: Make most headers a bit smaller Headers are bold already, so the font doesn't need to be that big to draw attention.
2016-03-30 13:31:20 +00:00
font-size: 1.6em;
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
}
docs: Adjust vertical whitespace in CSS Ensure all CSS rules are separated with a single blank line.
2016-03-30 09:33:58 +00:00
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
h2 {
docs: website: more header spacing tweaks - remove top padding for h1. this means page titles sit flush with the top of the side bar (like 'The virtualization API' on the front page) - up the top padding for the remaining sections. makes it visually easier to tell adjacent header sections apart, especially in dense wiki pages - use two different spacing levels for h2-h4 and h5-h6, gives pages some more visual flexibility - use a slightly lower bottom padding... this makes top padding stick out more which makes it visually easier to differentiate between adjacent header sections
2016-03-18 19:57:11 +00:00
margin-top: 1.0em;
docs: Make most headers a bit smaller Headers are bold already, so the font doesn't need to be that big to draw attention.
2016-03-30 13:31:20 +00:00
font-size: 1.4em;
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
}
docs: Adjust vertical whitespace in CSS Ensure all CSS rules are separated with a single blank line.
2016-03-30 09:33:58 +00:00
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
h3 {
docs: website: more header spacing tweaks - remove top padding for h1. this means page titles sit flush with the top of the side bar (like 'The virtualization API' on the front page) - up the top padding for the remaining sections. makes it visually easier to tell adjacent header sections apart, especially in dense wiki pages - use two different spacing levels for h2-h4 and h5-h6, gives pages some more visual flexibility - use a slightly lower bottom padding... this makes top padding stick out more which makes it visually easier to differentiate between adjacent header sections
2016-03-18 19:57:11 +00:00
margin-top: 1.0em;
docs: Make most headers a bit smaller Headers are bold already, so the font doesn't need to be that big to draw attention.
2016-03-30 13:31:20 +00:00
font-size: 1.2em;
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
}
docs: Adjust vertical whitespace in CSS Ensure all CSS rules are separated with a single blank line.
2016-03-30 09:33:58 +00:00
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
h4 {
docs: website: more header spacing tweaks - remove top padding for h1. this means page titles sit flush with the top of the side bar (like 'The virtualization API' on the front page) - up the top padding for the remaining sections. makes it visually easier to tell adjacent header sections apart, especially in dense wiki pages - use two different spacing levels for h2-h4 and h5-h6, gives pages some more visual flexibility - use a slightly lower bottom padding... this makes top padding stick out more which makes it visually easier to differentiate between adjacent header sections
2016-03-18 19:57:11 +00:00
margin-top: 1.0em;
docs: Make most headers a bit smaller Headers are bold already, so the font doesn't need to be that big to draw attention.
2016-03-30 13:31:20 +00:00
font-size: 1.1em;
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
}
docs: Adjust vertical whitespace in CSS Ensure all CSS rules are separated with a single blank line.
2016-03-30 09:33:58 +00:00
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
h5 {
docs: website: more header spacing tweaks - remove top padding for h1. this means page titles sit flush with the top of the side bar (like 'The virtualization API' on the front page) - up the top padding for the remaining sections. makes it visually easier to tell adjacent header sections apart, especially in dense wiki pages - use two different spacing levels for h2-h4 and h5-h6, gives pages some more visual flexibility - use a slightly lower bottom padding... this makes top padding stick out more which makes it visually easier to differentiate between adjacent header sections
2016-03-18 19:57:11 +00:00
margin-top: 0.75em;
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
font-size: 1em;
}
docs: Adjust vertical whitespace in CSS Ensure all CSS rules are separated with a single blank line.
2016-03-30 09:33:58 +00:00
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
h6 {
docs: website: more header spacing tweaks - remove top padding for h1. this means page titles sit flush with the top of the side bar (like 'The virtualization API' on the front page) - up the top padding for the remaining sections. makes it visually easier to tell adjacent header sections apart, especially in dense wiki pages - use two different spacing levels for h2-h4 and h5-h6, gives pages some more visual flexibility - use a slightly lower bottom padding... this makes top padding stick out more which makes it visually easier to differentiate between adjacent header sections
2016-03-18 19:57:11 +00:00
margin-top: 0.75em;
Split website out into one file per page. APply new layout and styling
2008-04-23 17:08:31 +00:00
font-size: 0.8em;
}
Reference in New Issue Copy Permalink