2002-10-02 07:16:04 +00:00
|
|
|
body {
|
2008-05-08 13:51:16 +00:00
|
|
|
background-color: white;
|
|
|
|
border: 0px;
|
|
|
|
margin: 0px;
|
|
|
|
padding: 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.corner {
|
|
|
|
width: 200px;
|
|
|
|
height: 80px;
|
|
|
|
text-align: center;
|
|
|
|
}
|
|
|
|
|
|
|
|
.banner {
|
|
|
|
background-color: rgb(110,139,61);
|
|
|
|
color: rgb(255,236,176);
|
|
|
|
padding-left: 2em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.banner h1 {
|
|
|
|
font-size: 200%;
|
|
|
|
}
|
|
|
|
|
|
|
|
.content {
|
|
|
|
padding: 0em 2em 1em 2em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.releaseno {
|
|
|
|
background-color: rgb(110,139,61);
|
|
|
|
color: rgb(255,236,176);
|
|
|
|
padding-bottom: 0.3em;
|
|
|
|
padding-top: 0.5em;
|
|
|
|
text-align: center;
|
|
|
|
font-weight: bold;
|
2002-10-02 07:16:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.noborder {
|
|
|
|
border-width: 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.eg {
|
|
|
|
padding-left: 1em;
|
|
|
|
padding-top: .5em;
|
|
|
|
padding-bottom: .5em;
|
|
|
|
border: solid thin;
|
|
|
|
margin: 1em 0;
|
|
|
|
background-color: tan;
|
|
|
|
margin-left: 2em;
|
|
|
|
margin-right: 10%;
|
|
|
|
}
|
|
|
|
|
2008-05-08 13:51:16 +00:00
|
|
|
.pseudocode {
|
|
|
|
padding-left: 1em;
|
|
|
|
padding-top: .5em;
|
|
|
|
padding-bottom: .5em;
|
|
|
|
border: solid thin;
|
|
|
|
margin: 1em 0;
|
|
|
|
background-color: rgb(250,220,180);
|
|
|
|
margin-left: 2em;
|
|
|
|
margin-right: 10%;
|
|
|
|
}
|
|
|
|
|
2002-10-02 07:16:04 +00:00
|
|
|
.handler {
|
|
|
|
width: 100%;
|
|
|
|
border-top-width: thin;
|
|
|
|
margin-bottom: 1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.handler p {
|
|
|
|
margin-left: 2em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.setter {
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
.signature {
|
|
|
|
color: navy;
|
|
|
|
}
|
|
|
|
|
|
|
|
.fcndec {
|
|
|
|
width: 100%;
|
|
|
|
border-top-width: thin;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
.fcndef {
|
|
|
|
margin-left: 2em;
|
|
|
|
margin-bottom: 2em;
|
|
|
|
}
|
|
|
|
|
|
|
|
dd {
|
|
|
|
margin-bottom: 2em;
|
|
|
|
}
|
2008-05-08 13:51:16 +00:00
|
|
|
|
|
|
|
.cpp-symbols dt {
|
|
|
|
font-family: monospace;
|
|
|
|
}
|
|
|
|
.cpp-symbols dd {
|
|
|
|
margin-bottom: 1em;
|
|
|
|
}
|