<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* ---------------------------------------------------------- */
/* Original CSS Document For Leaves v1.0 - Anthony @ OSWD.org */
/* Heavily modified for oracle-developer.net by Adrian Billington     */
/* ---------------------------------------------------------- */

/* HTML */

html {
   margin-bottom: 1px;
   min-height: 100%;
   overflow-y:scroll;
}

/* CONTAINER */

#container {
   width: 960px;
   margin: 0 auto;
   font-family: Arial, Helvetica, sans-serif; 
   font-size: 11.25px;
   font-weight: normal;
   line-height: 1.6em;
   color: black;
   background-color: #FFF;
   padding: 10px 10px 10px 10px;
}

/* GENERAL HTML ELEMENTS */
		
h1 {
   font-family: Arial, Helvetica, sans-serif;
   font-size: 48px;
   font-weight: normal;
   color:#CC6714;
   margin-bottom: 30px;
}

h2 {
   font-size: 22px;
   font-weight: bold;
   padding-bottom: 5px;
   /*color:#3D3D3D;*/
   border-bottom: 1px solid #CCC;
}

h3 {
   font-size: 14px;
   font-weight: bold;
   padding-top: 5px;
   padding-bottom: 5px;
   /*color:#3D3D3D;*/
   border-bottom: 1px solid #CCC;
}

h4 {
   font-size: 12px;
   font-weight: bold;
   padding-top: 5px;
   padding-bottom: 5px;
   /*color:#3D3D3D;*/
   border-bottom: 1px solid #CCC;
}

a {
   color:#CC6714;
   text-decoration: none;
   font-weight: bold;
}

/* This works in IE... */
a:link:hover {
   font-weight: bold;
   text-decoration: underline;
}

/* This works in Firefox... */      
a:hover {
   font-weight: bold;
   text-decoration: underline;
}
      
p {
   text-align: justify;
   padding-bottom: 5px;
}

b.red {
   color: red;
}

b.blue {
   color: blue;
}

pre {
   font-family: "Courier New", "Lucida Console";
   background: none;
   font-size: 100%;
   word-wrap: nowrap;
   color: #000066; /* navy blue */
   /* color: #3D3D3D; /* dark grey */
   padding-top: 10px;
   padding-bottom: 10px;
   padding-left: 10px;
   margin-bottom: 10px;
   margin-left: 20px;
   border-left: 1px solid #CCC;
}

pre b {
   color: red;
}

pre b.blue {
   color: #000066; /* navy blue */
}

pre.sh_oracle {
   font-weight: normal;
}

pre.sh_oracle.nopad { 
   margin-top: -20px;
}

pre.output { 
   margin-top: -25px;
   padding-top: -10px;
}

pre.output.small {
   font-size: 90%;
   margin-top: -15px;
   padding-top: 20px;
}

pre.sh_sourceCode {
   background-color: white;
   font-style: normal;
   font-weight: normal;
}

pre.sh_sourceCode .sh_keyword, .sh_type { 
   font-weight: bold;
   /* color: #7f0055;  /* Eclipse keyword colour */
}

pre.sh_sourceCode .sh_string, .sh_specialchar {
   color: red;
}

pre.sh_sourceCode .sh_comment {
   color: grey;
}

/* 
pre.sh_sourceCode .sh_normal .sh_number, .sh_usertype, .sh_regexp, .sh_url, .sh_symbol { 
   color: ???;
}
*/

code {
   font-family: "Courier New", "Lucida Console";
   color: #000066;
}

blockquote {
   margin-left: 2em;
   font-size: 100%;
   font-style: italic;
}

table {
   padding-bottom: 5px;
   margin-left: 2em;
}

table tr td {
   padding-left: 5px;
   padding-right: 5px;
   }
   
table tr.head td {
   border-top: 2px solid #CCC;
   font-weight: bold;
}

table tr.firstrow td {
   border-top: 2px solid #CCC; 
   font-weight: normal;
}

table tr.row td {
   border-top: 1px solid #CCC;
   font-weight: normal;
}

table tr.lastrow td{
   border-top: 1px solid #CCC;
   border-bottom: 2px solid #CCC; 
   font-weight: normal;
}


/* HEADER */

#header {
   border-bottom: 4px solid #948979;
   padding-top: 10px;
   clear: both;
   margin-bottom: 10px;
   margin-left: 15px;
   margin-right: 15px;
}


#header p { 
   margin-top: -20px;
   margin-left: 30px;
   color: #999999;
}

/* NAVIGATION */

#navigation {
   float: left;
   width: 180px;
   margin-left: 15px;
}

#navigation ul {
   margin-top: 35px;
   margin-left: 0;
   padding-left: 0;
   list-style-type: none;
   list-style-image: none;
}

#navigation a {
   width: 180px;
   display: block;
   padding: 5px;
   font-weight: normal;
   border-bottom: 1px solid #CCC;
}

#navigation a.rss {
   background: url(images/rss.gif) 96% 50% no-repeat;
}

#navigation a#a {
   border-bottom: none;
   text-decoration: none;
}

#navigation a#b {
   width: 145px;
   margin-left: 35px;
   padding-left: 5px;
   border-top: 1px solid #CCC;
}

#navigation a#c {
   width: 145px;
   margin-left: 35px;
   padding-left: 5px;
}

#navigation a:link, #navigation a:visited {
   text-decoration: none;
}

/* This works alone in IE but not Firefox (in Firefox not all links show the background image)... */
#navigation a:link:hover {
   background: url(images/arrow.gif) 96% 50% no-repeat;
}

/* The following two hover rules are for Firefox. The second stops the image appearing on the Articles heading... */
#navigation a:hover {
   background: url(images/arrow.gif) 96% 50% no-repeat;
}

#navigation a#a:hover {
   background: none;
}

#navigation a.active {
   font-weight: bold;
}

/* This switches off the background image for the active menu item... */
#navigation a.active:hover {
   background: none;
}

/* The following two rules are for the RSS feed item (to stop arrows appearing)... */
#navigation a.rss:link:hover {
   background: url(images/rss.gif) 96% 50% no-repeat;
}
#navigation a.rss:hover {
   background: url(images/rss.gif) 96% 50% no-repeat;
}

/* SIDEBAR UNDER NAVIGATION */

#sidebar {
   float: left;
   width: 180px;
   margin-top: -10px;
   margin-left: 15px;
   text-align: center;
   clear: left;
   margin-bottom: 15px;
}

#sidebar img {
   padding-top: 10px;
   border: 0;
}


/* CONTENT SPECIFIC STYLES */

#content {
   width: 695px;
   margin-top: 50px;
   margin-left: 245px;
}

#content p {
   padding-bottom: 5px;
}

#content p.indent {
   margin-left: 2em;
}

#content p.note {
   padding: 10px 10px 10px 10px;
   margin: 20px 20px 20px 20px; /* top right bottom left */
   font-style: italic;
   border-left: 1px solid #CCC;
}

#content p.signature{
   padding-top: 10px;
   font-weight: bold;
}

#content ul.numbered {
   list-style-type: decimal;
}

#content li {
   padding-bottom: 10px;
}

#content img {
   width: 695px;
   padding-bottom: 10px;
}

/* Style to insert an information box into an article/page... */

#insert {
   float: top;
   width: 550px;
   margin-left: 60px;
   padding: 5px;
   border: 1px solid #CCC;
}

#insert p {
   text-align: justify;
   margin-left: 10px;
   margin-right: 10px;
   margin-bottom: 0px;
   margin-top: 5px;
}

#insert a {
   text-align: center;
   margin-bottom: 0px;
}


/* TABLE STYLE FOR ARTICLE LISTS */

#content  table.contents {
   padding-bottom: 2px;
   margin-left: 0.3em;
}

#content table.contents tr {
   height: 40px;
}

#content table.contents tr td {
   margin-right: 0.3em;
}

#content table.contents tr.head {
   border-top: 2px solid #CCC;
   font-weight: bold;
   height: 30px;
}
 
#content table.contents tr.firstrow {
   border-top: 2px solid #CCC; 
   font-weight: normal;
}

#content table.contents tr.row {
   border-top: 1px solid #CCC;
   font-weight: normal;
}

#content table.contents tr.lastrow {
   border-top: 1px solid #CCC;
   border-bottom: 2px solid #CCC; 
   font-weight: normal;
}


/* FORM */
		
form {
   float:right;
   margin-top: -45px;
   font-size: 9px;
}

input {
   background-color: #FFF;
   color: black;
   border: 1px solid #999999;
   font-size: 11px;
   padding: 3px;
   width: 200px;
}
		
.button {
   padding: 2px;
   width: 50px;
}
		
/* FOOTER */

#footer {
   margin-top: 40px;
   margin-left: 15px;
   margin-right: 15px;
   clear: both;
   background-color:#575352;
   font-size: 10px;
}

#footer p {
   color:#FFFFFF;
   padding-top: 3px;
   padding-bottom: 3px;
   text-align: center;
}

#footer p a {
   color: #FFFFFF;
   font-weight: normal;
}

#footer p a:hover {
   color: #FFFFFF;
   background-color:#575352;
}

</pre></body></html>