moved the styles to the top

7 years ago · 1f18c7d1f6
parent 2a76eaee8e
commit 1f18c7d1f6
1 changed files with 154 additions and 158 deletions
--- a/doc/espterm-xterm.html
+++ b/doc/espterm-xterm.html
@ -3,9 +3,160 @@
 <head>
 <meta charset="UTF-8">
 <title>ESPTerm supported escape sequences overview</title>
-<!-- <link rel="stylesheet" href="man2html.css">
-<link rel="stylesheet" href="simplenav15.css">
-<link rel="stylesheet" href="espterm-highlight.css"> -->
+<style type="text/css">
+/* --------------------------------------------------------- */
+
+body {
+/* Verdana, - too wide */
+/* Lucida Grande, - cluttered */
+/* Droid Serif - ? */
+/* Optima, - maybe - seems light */
+/* Verdana, - large */
+/* Tahoma, - not bad */
+	font-family: Tahoma, Georgia, "Times New Roman", Times, serif;
+}
+
+h1,h2,h3,h4 {
+	font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
+	margin: 0px;
+	line-height: 100%;
+}
+
+h3,h4 {
+	margin-left: 30px;
+}
+
+pre,
+code,
+kbd,
+samp,
+tt{
+	/* font-family:monospace,monospace; */
+	font-family: "Andale Mono", "Monotype.com", monospace;
+	font-size:1em;
+	padding: 0;
+	margin: 0;
+	padding: 0;
+}
+
+*.no-header {
+	visibility:hidden;
+	overflow:hidden;
+	float:left;
+	clear: both;
+	width: 1px;
+	height: 1px;
+}
+
+pre {
+	white-space: pre-wrap;       /* CSS 3 */
+	white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
+	white-space: -pre-wrap;      /* Opera 4-6 */
+	white-space: -o-pre-wrap;    /* Opera 7 */
+	word-wrap: break-word;       /* Internet Explorer 5.5+ */
+}
+
+/* --------------------------------------------------------- */
+
+/*
+ * This is a separate file rather than embedded because it allows us to
+ * suppress non-working CSS from IE8, etc.
+ */
+
+@media only screen and (min-width: 500px) {
+body {
+	margin-left: 30%;
+}
+p,li,dd {
+      max-width:700px;
+}
+*.nav {
+	margin-left: -30%;
+	width: 28%;
+	position: fixed;
+	top: 0;
+	overflow: auto;
+	height: 100%;
+}
+}
+
+@media only screen and (min-width: 784px) {
+body {
+	margin-left: 16em;
+}
+*.nav {
+	margin-left: -16em;
+	width: 15em;
+	position: fixed;
+	top: 0;
+	overflow: auto;
+	height: 100%;
+}
+}
+
+*.nav ul {
+	list-style-type: none;
+	padding-left: 1em;
+}
+
+*.nav-break {
+	margin-top:  10px;
+}
+*.nav-top
+{
+	color: #FFF;
+	background-color: #ccc;
+	text-decoration:none;
+	text-transform:uppercase;
+	font-style:italic;
+}
+
+*.menu-nav ul
+{
+	text-decoration:none;
+}
+
+/* --------------------------------------------------------- */
+
+del {
+  opacity: 0.3;
+  text-decoration: none;
+}
+
+ins {
+  color: #009A5A;
+  text-decoration: none;
+}
+
+ins[block] {
+  display: block;
+  white-space: normal;
+  box-sizing: border-box;
+  max-width: 700px;
+  border: 2px solid #006666;
+  background: #eee;
+  padding: 0.3em;
+  margin: .5em 0;
+  /* copied from the man2html style */
+  font-family: Tahoma, Georgia, "Times New Roman", Times, serif;
+  color: black;
+}
+
+ins[block] p {
+  margin: 0;
+  margin-bottom: 0.3em;
+}
+
+ins[block] p:last-child {
+  margin-bottom: 0;
+}
+
+.nav li {
+  padding-bottom: 7px;
+  font-size: 90%;
+}
+
+</style>
 </head>
 <body>
 <a name="top"></a><hr>
@ -2098,160 +2249,5 @@ ESC Z     Identify.
 </ul>
 </div>

-<style type="text/css">
-/* --------------------------------------------------------- */
-
-body {
-/* Verdana, - too wide */
-/* Lucida Grande, - cluttered */
-/* Droid Serif - ? */
-/* Optima, - maybe - seems light */
-/* Verdana, - large */
-/* Tahoma, - not bad */
-	font-family: Tahoma, Georgia, "Times New Roman", Times, serif;
-}
-
-h1,h2,h3,h4 {
-	font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
-	margin: 0px;
-	line-height: 100%;
-}
-
-h3,h4 {
-	margin-left: 30px;
-}
-
-pre,
-code,
-kbd,
-samp,
-tt{
-	/* font-family:monospace,monospace; */
-	font-family: "Andale Mono", "Monotype.com", monospace;
-	font-size:1em;
-	padding: 0;
-	margin: 0;
-	padding: 0;
-}
-
-*.no-header {
-	visibility:hidden;
-	overflow:hidden;
-	float:left;
-	clear: both;
-	width: 1px;
-	height: 1px;
-}
-
-pre {
-	white-space: pre-wrap;       /* CSS 3 */
-	white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
-	white-space: -pre-wrap;      /* Opera 4-6 */
-	white-space: -o-pre-wrap;    /* Opera 7 */
-	word-wrap: break-word;       /* Internet Explorer 5.5+ */
-}
-
-/* --------------------------------------------------------- */
-
-/*
- * This is a separate file rather than embedded because it allows us to
- * suppress non-working CSS from IE8, etc.
- */
-
-@media only screen and (min-width: 500px) {
-body {
-	margin-left: 30%;
-}
-p,li,dd {
-      max-width:700px;
-}
-*.nav {
-	margin-left: -30%;
-	width: 28%;
-	position: fixed;
-	top: 0;
-	overflow: auto;
-	height: 100%;
-}
-}
-
-@media only screen and (min-width: 784px) {
-body {
-	margin-left: 16em;
-}
-*.nav {
-	margin-left: -16em;
-	width: 15em;
-	position: fixed;
-	top: 0;
-	overflow: auto;
-	height: 100%;
-}
-}
-
-*.nav ul {
-	list-style-type: none;
-	padding-left: 1em;
-}
-
-*.nav-break {
-	margin-top:  10px;
-}
-*.nav-top
-{
-	color: #FFF;
-	background-color: #ccc;
-	text-decoration:none;
-	text-transform:uppercase;
-	font-style:italic;
-}
-
-*.menu-nav ul
-{
-	text-decoration:none;
-}
-
-/* --------------------------------------------------------- */
-
-del {
-  opacity: 0.3;
-  text-decoration: none;
-}
-
-ins {
-  color: #009A5A;
-  text-decoration: none;
-}
-
-ins[block] {
-  display: block;
-  white-space: normal;
-  box-sizing: border-box;
-  max-width: 700px;
-  border: 2px solid #006666;
-  background: #eee;
-  padding: 0.3em;
-  margin: .5em 0;
-  /* copied from the man2html style */
-  font-family: Tahoma, Georgia, "Times New Roman", Times, serif;
-  color: black;
-}
-
-ins[block] p {
-  margin: 0;
-  margin-bottom: 0.3em;
-}
-
-ins[block] p:last-child {
-  margin-bottom: 0;
-}
-
-.nav li {
-  padding-bottom: 7px;
-  font-size: 90%;
-}
-
-</style>
-
 </body>
 </html>