1 files changed, 53 insertions, 0 deletions
diff --git a/htdocs/tips.css b/htdocs/tips.css
new file mode 100644
index 0000000..1d7d2c4
--- /dev/null
+++ b/htdocs/tips.css
@@ -0,0 +1,53 @@
+/*
+   Quality Tips Style Sheet for the W3C HTML Validation Service.
+
+   Copyright 2000 W3C (MIT, INRIA, Keio). All Rights Reserved.
+   See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright
+
+   $Id: tips.css,v 1.2 2002-08-20 01:51:23 link Exp $
+*/
+
+
+dl.tip {
+/*  float: right; */
+  text-align: justify;
+/*  width: 25ex; */
+  margin-top:    0em;
+  background:    #eeeeee;
+  border-top: 1px solid black;
+  border-bottom: 1px solid black;
+}
+
+dl.tip dt a {
+  text-decoration: none;
+  color: inherit;
+} 
+
+dl.tip dt {
+  text-align: center;
+  padding: 0em;
+  margin: 0em;
+  color: black;
+  background: #eeeeee;
+}
+
+dl.tip dd {
+  text-align: center;
+  text-decoration: none;
+  font-weight: bolder;
+  margin: .5em;
+  color: blue;
+/*  border: .1em dashed black; */
+}
+
+/ * dl.tip dd a:hover {
+  color: blue;
+  background: silver;
+} */
+
+dl.tip dd a {
+  padding: .1em .25em;
+  text-decoration: none;
+  margin:  .5em;
+  display: block;
+}
+\ No newline at end of file