Add some CSS to make things not entirely horrible.
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 14 May 2013 23:19:59 +0000 (01:19 +0200)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 14 May 2013 23:19:59 +0000 (01:19 +0200)
itkacl-web-1.0/web/header.html
itkacl-web-1.0/web/itkacl.css [new file with mode: 0644]
itkacl-web-1.0/web/style.css [new file with mode: 0644]

index abb99a3f3eeedb62cb4272f655f1af428f77cec2..f25353b1bbf2099e96be7a4107a89c1d91bab732 100644 (file)
@@ -7,6 +7,8 @@
 
 <head>
   <title>%TITLE%</title>
+  <link rel="stylesheet" type="text/css" href="style.css" />
+  <link rel="stylesheet" type="text/css" href="itkacl.css" />
 </head>
 
 <body>
diff --git a/itkacl-web-1.0/web/itkacl.css b/itkacl-web-1.0/web/itkacl.css
new file mode 100644 (file)
index 0000000..c8bec7d
--- /dev/null
@@ -0,0 +1,36 @@
+div.floatingtree {
+       float: right;
+       border-left: 1px solid navy;
+       padding-left: 1em;
+       margin-left: 1em;
+       margin-bottom: 1em;
+       min-height: 100%;
+       width: 17em;
+       background: white;
+}
+.tree {
+       font-family: ms sans serif, sans-serif;
+       font-size: 12px;
+}
+.tree img {
+       vertical-align: middle;
+       border: 0px;
+}
+.tree p {
+       margin-top: 0;
+       margin-bottom: 0;
+       padding-top: 0;
+       padding-bottom: 0;
+}
+.tree a:link, .tree a:visited {
+       text-decoration: underline;
+       color: navy;
+}
+.tree a:hover {
+       text-decoration: none;
+}
+
+img {
+       border:0;
+}
+
diff --git a/itkacl-web-1.0/web/style.css b/itkacl-web-1.0/web/style.css
new file mode 100644 (file)
index 0000000..ec38c3b
--- /dev/null
@@ -0,0 +1,20 @@
+body {
+       font-family: sans-serif;
+       margin:0;
+       padding:10px 20px 20px 20px;
+}
+
+/* Headers */
+h1 {
+       border-bottom:2px solid #ddd;
+       padding:10px 0 5px 0;
+       margin:0 0 30px 0;
+       color:#000;
+}
+h2 {
+       font-size:130%;
+       margin:0 0 10px 0;
+       padding:15px 0 5px 0;
+       border-bottom: 1px solid #ddd;
+       color:#000;
+}