Added charset declaration for HTML

[xmldoc.git] / test / main.css

diff --git a/test/main.css b/test/main.css
new file mode 100644 (file)
index 0000000..bf4e975
--- /dev/null
+++ b/test/main.css
@@ -0,0 +1,79 @@
+
+body
+{
+   background : white;
+   color      : black;
+}
+
+h1
+{
+   color : blue;
+   font-family : sans-serif ;
+   font-size : 150%;
+}
+
+h1.titlepage
+{
+   color : black;
+   font-family : sans-serif ;
+   font-size : 150%;
+   text-align : center ;
+}
+
+h2.titlepage
+{
+   color : black;
+   font-family : sans-serif ;
+   font-size : 120%;
+   text-align : center ;
+}
+
+h2
+{
+   color : green;
+}
+
+div.titlepage
+{
+   background : rgb(204, 204, 255) ;
+   border: solid;
+   border-width: thin;
+   padding : 1em;
+   margin : 5% ;
+   width: 90%;
+   text-align : center ;
+}
+
+p
+{
+   font-size : 100%;
+}
+
+pre.example
+{
+   background : lightblue ;
+   width      : 90% ;
+   margin-left: 5% ;
+}
+
+span.remark
+{
+   font-size : 90%;
+   background : yellow ;
+   color : rgb(0, 0, 150);
+}
+
+table
+{
+   width : 80% ;
+   border-width : medium ;
+   border-style : solid ;
+   border-collapse : collapse;
+   padding : 1px ;
+}
+
+dt
+{
+   font-weight : bold ;
+   top-margin  : 1ex;
+}