GEX thesis source code, full text, references
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 

323 lines
4.7 KiB

/* External Style Sheet
for the
Maverick Operating System website
Cascading Style Sheet Level 2
*/
/* Body general styles */
BODY {
background-color: #FFFFFF;
color: #202020;
font-family: sans-serif;
font-size: 8pt;
font-weight: normal;
letter-spacing: normal; /* normal, or a lenght in em units */
margin: 0.5em; /* sets all the margins */
text-align: left; /* left, right, center, justify */
text-decoration: none; /* none, underline, overline, line-through, blink */
text-indent: 0; /* either a legnht in em units or a percentage */
text-transform: none; /* capitalize, uppercase, lowercase, none, inherit */
white-space: normal; /* normal, pre, nowrap */
word-spacing: normal; /* normal, or a lenght in em units */
}
BODY.Menu {
background-color: #F0F0FF;
color: #000000;
}
BODY.Title {
background-color: #F0F0FF;
color: #000000;
margin: 0em;
}
/* General styles */
.Calculation {
color: #000080;
}
.Centered {
text-align: center;
}
.Code {
background-color: #E0E0E0;
border-color: #000000;
border-style: solid;
border-width: 1px;
font-family: monospace;
font-size: 7pt;
font-weight: normal;
margin-left: 2em;
margin-right: 2em;
padding: 10px;
text-align: left;
white-space: pre;
}
.Copyright {
font-size: 6pt;
margin: 1em;
text-align: center;
}
.Date {
font-size: 10pt;
font-weight: bold;
}
.DefinitionTerm {
background-color: #C0FFC0;
font-weight: bolder;
}
.DefinitionData {
background-color: #F0F0FF;
}
.Important {
color: #FF0000;
font-weight: bold;
font-size: 110%;
}
.MiniMenu {
font-size: 6pt;
text-align: right;
}
.Note {
color: #FF0000;
}
.Note:before {
content: "Note: ";
font-weight: bold;
}
.PreviousCalculated {
color: #8000FF;
}
.Recomendation {
color: #FF0000;
}
.Reserved {
color: #FF0000;
}
.Revision {
font-size: 7pt;
text-align: right;
}
/* Anchor (link) styles */
A {
text-decoration: none;
}
A:link {
color: #0000FF;
}
A:visited {
color: #0000FF;
}
A:hover {
color: #FF0000;
}
A:active {
color: #FF0000;
}
/* Styles for headlines in 6 different levels */
H1 {
font-family: sans-serif;
font-size: 24pt;
font-weight: bold;
margin: 0em;
text-align: center;
}
H1.Menu {
font-size: 10pt;
text-decoration: underline overline;
text-transform: uppercase;
}
H1.PreTitle {
color: #505050;
font-size: 10pt;
}
H1.SubTitle {
color: #505050;
font-size: 10pt;
}
H2 {
font-size: 14pt;
margin: 0em;
text-align: left;
}
H2.Menu {
font-size: 9pt;
font-weight: normal;
margin: 0em;
text-align: left;
text-decoration: underline;
text-transform: lowercase;
}
H3 {
font-size: 10pt;
font-weight: bold;
margin: 0em;
}
H3.Menu {
font-size: 9pt;
font-weight: italic;
margin: 0em;
text-align: left;
text-decoration: underline;
text-transform: lowercase;
}
H4 {
font-size: 9pt;
font-weight: normal;
margin: 0em;
text-decoration: underline;
}
H5 {
font-size: 9pt;
font-style: italic;
font-weight: normal;
margin: 0em;
}
H6 {
font-size: 9pt;
font-style: oblique;
font-weight: normal;
margin: 0em;
}
/* Styles for other elements */
HR {
color: #505050;
text-align: right;
height: 1px;
}
P {
margin: 0px;
margin-top: 0.1em;
margin-bottom: 0.9em;
}
/* Styles for tables */
TABLE, TR, TD, TH, CAPTION {
font-family: sans-serif;
font-size: 8pt;
}
TD {
background-color: #F0F0FF;
}
TH {
background-color: #C0C0FF;
}
TD.BitTable {
font-size: 7pt;
text-align: center;
}
TH.BitTable {
font-size: 7pt;
font-weight: normal;
text-align: center;
}
TD.Code {
background-color: #E0E0E0;
border-color: #000000;
border-style: solid;
border-width: 1px;
font-size: 6pt;
font-weight: normal;
margin-left: 1em;
margin-right: 1em;
padding: 1px;
text-align: center;
}
TD.NoColor {
background-color: transparent;
background-color: #FFFFFF; /* This line is for Netscape */
}
TH.NoColor {
background-color: transparent;
background-color: #FFFFFF; /* This line is for Netscape */
}
CAPTION {
font-size: 9pt;
font-weight: normal;
}
/* Styles for unordered, ordered and definition lists */
DL {
margin: 0em;
}
DD {
margin: 0em;
}
DT {
font-family: sans-serif;
font-size: 10pt;
font-weight: bold;
margin-left: 0.2em;
margin-top: 1.5em;
}
UL {
margin: 0em;
margin-left: 2em;
}
OL {
margin: 0em;
margin-left: 2em;
}
/* end of file */