move themes into html dir with .theme and .std-theme extensions

4 files changed, 0 insertions, 486 deletions

diff --git a/html/themes/Ocean/hslogo-16.png b/html/themes/Ocean/hslogo-16.png
deleted file mode 100644
index 0ff8579f..00000000
--- a/html/themes/Ocean/hslogo-16.png
+++ /dev/null
diff --git a/html/themes/Ocean/minus.gif b/html/themes/Ocean/minus.gif
deleted file mode 100644
index 1deac2fe..00000000
--- a/html/themes/Ocean/minus.gif
+++ /dev/null
diff --git a/html/themes/Ocean/ocean.css b/html/themes/Ocean/ocean.css
deleted file mode 100644
index 53af455f..00000000
--- a/html/themes/Ocean/ocean.css
+++ /dev/null
@@ -1,486 +0,0 @@
-/* @group Fundamentals */
-
-* { margin: 0; padding: 0 }
-
-/* Is this portable? */
-html {
-/*   background-color: #f4f7f9; */
-  background-color: white;
-  width: 100%;
-}
-
-body {
-  font-family: sans-serif;
-  background: white;
-  color: black;
-  text-align: left;
-  line-height: 1.4;
-}
-
-p { margin: 0.5em 0; }
-
-ul { margin-left: 2em; }
-
-a { text-decoration: none; }
-a:link { color: rgb(196,69,29); }
-a:visited { color: rgb(171,105,84); }
-a:hover { text-decoration:underline; }
-
-h1 { font-size: 150%; }
-h2 { font-size: 130%; }
-h3 { font-size: 120%; }
-h4 { font-size: 110%; }
-h5 { font-size: 105%; }
-
-/* a:hover { background: #D9CBB8; } */
-
-/* @end */
-
-/* @group Common */
-
-.caption, h1, h2, h3, h4, h5, h6 { 
-  font-weight: bold;
-  color: rgb(78,98,114);
-  margin: 0.8em 0 0.5em;
-}
-
-* + h1, * + h2, * + h3, * + h4, * + h5, * + h6 {
-  margin-top: 4em;
-}
-
-h1 + h2, h2 + h3, h3 + h4, h4 + h5, h5 + h6 {
-  margin-top: inherit;
-}
-
-ul.links {
-  list-style: none;
-  text-align: left;
-  position: absolute;
-  right: 5px;
-  top: 5px;
-  display: inline-table;
-}
-
-ul.links li {
-  display: inline;
-/*   border-left: 1px solid rgb(78,98,114); */
-  white-space: nowrap;
-  padding: 0;
-}
-
-ul.links li a { padding: 5px 10px; }
-
-.hide { display: none; }
-.show { display: inherit; }
-.clear { clear: both; }
-
-.collapser {
-  background-image: url(minus.gif);
-  background-repeat: no-repeat;
-}
-.expander {
-  background-image: url(plus.gif);
-  background-repeat: no-repeat;
-}
-span.module.collapser,
-span.module.expander {
-  background-position: 0 0.3em;
-}
-p.caption.collapser,
-p.caption.expander {
-  background-position: 0 0.4em;
-}
-.collapser, .expander {
-  padding-left: 14px;
-  margin-left: -14px;
-  cursor: pointer;
-}
-
-pre {
-  padding: 0.5em;
-  margin: 0.5em 5em 0.5em 3em;
-  background: rgb(229,237,244);
-  overflow: auto;
-}
-
-code { /* background: #f0f0f0; */ }
-
-.src {
-  font-family: monospace;
-  line-height: normal;
-  background: #f0f0f0;
-  padding: 0.2em 0.5em;
-}
-
-.doc p, .doc pre {
-  margin-top: 1em;
-}
-
-.keyword { font-weight: normal; }
-.def { font-weight: bold; }
-
-img.coll {
-	width : 0.75em;
-	height: 0.75em;
-	margin: 0 0.5em 0 0;
-}
-
-
-/* @end */
-
-/* @group Page Structure */
-
-#content {
-  max-width: 50em;
-  margin: 0 auto;
-  padding: 0 1em;
-}
-
-#package-header {
-  background: rgb(41,56,69);
-  border-top: 5px solid rgb(78,98,114);
-  color: #ddd;
-  padding: 5px;
-  position: relative;
-  text-align: left;
-}
-
-#package-header .caption {
-  background: url(hslogo-16.png) no-repeat 0em;
-  color: white;
-  max-width: 48em;
-  margin: 0 auto;
-  font-weight: normal;
-  font-style: normal;
-  padding-left: 2em;
-}
-
-#package-header a:link, #package-header a:visited { color: white; }
-#package-header a:hover { background: rgb(78,98,114); }
-
-#module-header .caption {
-  color: rgb(78,98,114);
-  font-size: 200%;
-  font-weight: bold;
-  border-bottom: 1px solid #ddd;
-}
-
-dl.info {
-  float: right;
-  padding: 0.5em 1em;
-  border: 1px solid #ddd;
-  font-size: 75%;
-  color: rgb(78,98,114);
-  background-color: #fff;
-  max-width: 20em;
-  margin-top: -6em;
-  margin-bottom: 1em;
-}
-
-dl.info dt {
-	float: left;
-	width: 5em;
-	font-weight: bold;
-	display: block;
-}
-
-dl.info dd {
-	display: block;
-	padding-left: 6em;
-}
-
-div#style-menu-holder {
-  position: relative;
-  z-index: 2;
-  display: inline;
-}
-
-#style-menu {
-  position: absolute;
-  z-index: 1;
-  overflow: visible;
-  background: #374c5e;
-  margin: 0;
-  text-align: center;
-  right: 0;
-  padding: 0;
-  top: 1.25em;
-}
-
-#style-menu li {
-	display: list-item;
-	border-style: none;
-	margin: 0;
-	padding: 0;
-	color: #000;
-	list-style-type: none;
-}
-
-#style-menu li + li {
-	border-top: 1px solid #919191;
-}
-
-#style-menu a {
-  width: 6em;
-  padding: 3px;
-  display: block;
-}
-
-#footer {
-  margin: 1em 0 0 0;
-  background: #ddd;
-  border-top: 1px solid #aaa;
-  padding: 0.5em;
-  color: #666;
-  text-align: center;
-}
-
-/* @end */
-
-/* @group Front Matter */
-
-#table-of-contents {
-  float: right;
-  clear: right;
-  background: rgb(239,238,209);
-  border: 1px solid rgba(196,69,29,0.2);
-  font-size: 80%;
-  padding: 0.5em 1em;
-  position: relative;
-  top: 0em; /* use -5em to pull up into title area */
-  margin: 0 0 1em 1em;
-  max-width: 20em;
-}
-
-#table-of-contents .caption {
-  text-align: center;
-  margin: 0;
-}
-
-#table-of-contents ul {
-  list-style: none;
-  margin-left: 0;
-}
-
-#table-of-contents ul ul {
-  margin-left: 2em;
-}
-
-#description .caption {
-  display: none;
-}
-
-#synopsis {
-  position: fixed;
-  right: -21.5em;
-  font-size: 90%;
-  width: 22em;
-  height: 80%;
-  top: 5em;
-  padding: 0;
-  background-color: #fff2b2;
-}
-
-#synopsis:hover {
-  right: 0;
-  background: none;
-}
-
-#synopsis .caption,
-#synopsis ul,
-#synopsis ul li.src {
-  background-color: #fff2b2;
-  white-space: nowrap;
-}
-
-#synopsis > * {
-  margin: 0 0 0 8px;
-  border-left: 1px solid rgb(196,69,29); 
-}
-
-#synopsis .caption {
-  border-top: 1px solid rgb(196,69,29);
-  padding-top: 0.5em;
-  padding-bottom: 0.5em;
-  text-align: center;
-}
-
-#synopsis ul {
-  list-style: none;
-  height: 100%;
-  overflow: auto;
-  border-bottom: 1px solid rgb(196,69,29);
-  padding-left: 0.5em;
-}
-
-#synopsis ul ul {
-  border: none;
-  overflow: hidden;
-}
-
-/* @end */
-
-/* @group Main Content */
-
-#interface div.top { margin: 1em 0 0.5em 0; }
-
-#interface table { border-spacing: 2px; }
-#interface td {
-  vertical-align: top;
-  padding-left: 0.5em;
-}
-#interface td.src {
-  white-space: nowrap;
-}
-#interface td.doc p {
-  margin: 0;
-}
-#interface td.doc p + p {
-  margin-top: 0.5em;
-}
-
-#interface dt {
-  float: left;
-  clear: left;
-  display: block;
-  margin: 1px 0;
-}
-
-#interface dd {
-  float: right;
-  width: 90%;
-  display: block;
-  padding-left: 0.5em;
-  margin-bottom: 0.5em;
-}
-
-#interface dd p {
-  margin: 0;
-}
-
-/* div.top code { border: 1px solid #ddd; } */
-.top p.src {
-  border-top: 1px solid #ccc;
-}
-
-/* @group Left Margin */
-
-.subs, .doc {
-  /* use this selector for one level of indent */
-  padding-left: 2em;
-}
-
-/* use these two for two levels of indent */
-/*
-#description .doc, #interface div.top {
-  padding-left: 1.25em;
-}
-
-div.top .subs, div.top .doc {
-  padding-left: 1.875em;
-}
-*/
-/* @end */
-
-.arguments {
-  margin-top: -0.4em;
-}
-.arguments .caption {
-  display: none;
-}
-
-.fields { padding-left: 1em; }
-
-.fields .caption { display: none; }
-
-.fields p { margin: 0 0; }
-
-/* this seems bulky to me
-.methods, .constructors {
-  background: #f8f8f8;
-  border: 1px solid #eee;
-}
-*/
-
-/* @end */
-
-/* @group Auxillary Pages */
-
-#mini {
-  font-size: 75%;
-  margin: 0 auto;
-  padding: 0 1em;
-}
-
-#mini #module-header .caption {
-  font-size: 160%;
-}
-
-#mini #interface h1,
-#mini #interface h2,
-#mini #interface h3,
-#mini #interface h4 {
-  font-size: 130%;
-  margin: 1em 0 0;
-}
-
-#mini #interface .top,
-#mini #interface .src {
-  margin: 0;
-}
-
-#mini #interface .src {
-  font-size: 120%;
-}
-
-#mini #module-list ul {
-  list-style: none;
-  margin: 0;
-}
-
-#alphabet ul {
-	list-style: none;
-	padding: 0;
-	margin: 0.5em 0 0;
-	text-align: center;
-}
-
-#alphabet li {
-	display: inline;
-	margin: 0 0.25em;
-}
-
-#alphabet a {
-	font-weight: bold;
-}
-
-#index .caption,
-#module-list .caption { font-size: 130%; }
-
-#index table {
-  margin-left: 2em;
-}
-
-#index .src {
-  font-weight: bold;
-}
-#index .alt {
-  font-size: 70%;
-  font-style: italic;
-  padding-left: 2em;
-}
-
-#index td + td {
-  padding-left: 1em;
-}
-
-#module-list ul {
-  list-style: none;
-  margin: 0 0 0 2em;
-}
-
-#module-list .package {
-  float: right;
-}
-
-/* @end */
diff --git a/html/themes/Ocean/plus.gif b/html/themes/Ocean/plus.gif
deleted file mode 100644
index 2d15c141..00000000
--- a/html/themes/Ocean/plus.gif
+++ /dev/null