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.
 
 
 
 
 
 

189 lines
5.0 KiB

/*
* screen.css
*/
a:link {color: blue;
text-decoration: underline}
a:active {color: red;
text-decoration: underline}
a:visited {color: #0005cf;
text-decoration: underline}
a:hover {color: red;
text-decoration: underline}
body {font-family: "Times New Roman", Georgia, Times;
font-size: 1em;
color: #000000;
background-color: #FFFFFF;
margin: 1em 1em 1em 1em;}
h1 {font-size: 2.4em;
font-family: Verdana, Arial, Helvetica, Sans-Serif;
margin-top: 0em;
margin-bottom: 0.5em;
margin-left: 0.5in;
margin-right: 0.5in;}
h1.div {font-size: 1.5em;
font-family: Verdana, Arial, Helvetica, Sans-Serif;
margin-top: 0em;
margin-bottom: 0.5em;
margin-left: 0.5in;
margin-right: 0.5in;}
h2
{
font-family: Verdana, Arial, Helvetica, Sans-Serif;
margin: 0.7em 0 0.7em 0;
padding: 0.5em 0.7em 0.5em 0.7em;
font-size: 1.9em;
text-decoration: none;
border-bottom: solid #00A 2px;
}
/*
* Ici on distingue les chapitres des sections
*/
div.sect1 h2
{
font-family: Verdana, Arial, Helvetica, Sans-Serif;
font-size: 1.3em;
text-decoration: none;
border-bottom: solid #00A 2px;
padding: 0 0 0 0.7em;
}
div.sect2 h3
{
font-family: Verdana, Arial, Helvetica, Sans-Serif;
font-size: 1.2em;
text-decoration: none;
border-bottom: solid #00A 1px;
padding: 0 0 0 0.7em;
}
div.note h3
{
font-family: Verdana, Arial, Helvetica, Sans-Serif;
font-size: 1.2em;
text-decoration: none;
border-bottom: none;
padding: 0 0 0 0.7em;
}
h3
{
font-family: Verdana, Arial, Helvetica, Sans-Serif;
font-size: 1.2em;
text-decoration: none;
border-bottom: none;
padding: 0 0 0 0.7em;
}
h4
{
font-family: Verdana, Arial, Helvetica, Sans-Serif;
font-size: 1.1em;
text-decoration: none ;
padding: 0 0 0 0.7em;
}
h5
{
font-family: Verdana, Arial, Helvetica, Sans-Serif;
font-size: 1em;
text-decoration: none ;
padding: 0 0 0 0.7em;
}
p {font-size: 1em;
margin: 0em 0em 0.5em 0em;}
p.validator { text-align: right; }
tt {font-family: "Courier New";
font-size: 0.95em;}
/* font-weight: bold;}
*/
hr {height: 1px;}
.titre {font-size: 3em;
text-align: center;}
.navheader {}
/* .navfooter {} */
.revhistory table { border: none; padding: 0px 0px 0px 0px; margin: 1em 0em 1em 0em;}
.revhistory th { border: none; padding: 0px 0px 0px 0px ;}
.revhistory td { border: none; padding: 0px 0px 0px 0px ;}
.highlights { font-style: italic;}
.note { border: 1px solid #CCCC99;
background-color: #F5F5E7;
padding: 0.5em 0.5em 0.5em 0.5em;
margin: 1em 0em 1em 0em; }
.caution { border: 1px solid #F6EA00;
background-color: #FFFFC9;
padding: 0.5em 0.5em 0.5em 0.5em;
margin-top: 1em;
margin-bottom: 1em;
margin-left: 0.5in;
margin-right: 0.5in;}
.tipp { background-color: #F5F5DC }
.important { font-family: "Courier New";
font-size: 0.8em;
border: 1px solid #F95E00;
background-color: #F9CDB3;
padding: 0.5em 0.5em 0.5em 0.5em;
margin-top: 1em;
margin-bottom: 1em;
margin-left: 0.5in;
margin-right: 0.5in;}
.screen { font-family: "Courier New";
font-size: 0.8em;
border: 1px solid #999999;
background-color: #EBEBEB;
padding: 0.5em 0.5em 0.5em 0.5em;
margin: 2em 0em 2em 0em;}
.programlisting { font-family: "Courier New";
font-size: 0.8em;
border: 1px solid #B2DBFF;
background-color: #F0F8FF;
padding: 0.5em 0.5em 0.5em 0.5em;
margin: 2em 0em 2em 0em;}
.funcsynopsis {
border: 1px solid #B2DBFF;
background-color: #F0F8FF;
padding: 0.5em 0.5em 0.5em 0.5em;
margin: 2em 0em 2em 0em;}
tt.prompt { color: #000080; }
tt.function { font-weight: bold; }
tt.userinput { font-weight: bold; }
.important .programlisting { font-family: "Courier New"; font-size: 1em; border: 1px solid #B2DBFF; background-color: #F0F8FF; padding: 0.5em 0.5em 0.5em 0.5em; margin: 2em 0em 2em 0em;}
.important .screen { font-family: "Courier New"; font-size: 1em; border: 1px solid #999999; background-color: #EBEBEB; padding: 0.5em 0.5em 0.5em 0.5em; margin: 2em 0em 2em 0em;}
.informalexample { font-family: "Courier New"; font-size: 0.8em; border: 1px solid #B2DBFF; background-color: #F0F8FF; padding: 0.5em 0.5em 0.5em 0.5em; margin: 2em 0em 2em 0em;}
p.validator { text-align: right; }