diff --git a/doc/html/ctools.css b/doc/html/ctools.css
new file mode 100644
index 0000000..2c636aa
--- /dev/null
+++ b/doc/html/ctools.css
@@ -0,0 +1,21 @@
+.Body {
color: #404040;
font-family: 'Arial', 'Arial', 'Arial', sans-serif;
font-size: 13px;
font-style: normal;
font-variant: normal;
font-weight: normal;
letter-spacing: 0;
line-height: 17px;
margin-bottom: 0px;
margin-left: 0px;
margin-right: 0px;
margin-top: 0px;
opacity: 1.00;
padding-bottom: 0px;
padding-top: 0px;
text-align: left;
text-decoration: none;
text-indent: 0px;
text-transform: none;
}
.Header {
color: #666666;
font-family: 'Arial', 'Arial', 'Arial', 'Arial', sans-serif;
font-size: 30px;
font-style: normal;
font-variant: normal;
font-weight: normal;
letter-spacing: 0;
line-height: 44px;
margin-bottom: 0px;
margin-left: 0px;
margin-right: 0px;
margin-top: 0px;
opacity: 1.00;
padding-bottom: 0px;
padding-top: 0px;
text-align: left;
text-decoration: none;
text-indent: 0px;
text-transform: none;
}
.Title {
color: #404040;
font-family: 'Arial', 'Arial', 'Arial', sans-serif;
font-size: 16px;
font-style: normal;
font-variant: normal;
font-weight: bold;
letter-spacing: 0;
line-height: 17px;
margin-bottom: 0px;
margin-left: 0px;
margin-right: 0px;
margin-top: 0px;
opacity: 1.00;
padding-bottom: 10px;
padding-top: 0px;
text-align: left;
text-decoration: none;
text-indent: 0px;
text-transform: none;
}
.Menu {
color: #404040;
font-family: 'Arial', 'Arial', 'Arial', sans-serif;
font-size: 15px;
font-style: normal;
font-variant: normal;
font-weight: bold;
letter-spacing: 0;
line-height: 17px;
margin-bottom: 0px;
margin-left: 0px;
margin-right: 0px;
margin-top: 0px;
opacity: 1.00;
padding-bottom: 10px;
padding-top: 0px;
text-align: left;
text-decoration: none;
text-indent: 0px;
text-transform: none;
}
.Code {
border-style: solid;
border-width: 0.1em;
margin: 1em 0.5em;
padding: 0.6em 0.5em 0.5em;
font-family: Courier New,Courier,monospace;
font-size: smaller;
background-color: rgb(255, 255, 204);
display: block;
}
.irafpar {
+ color: #404040;
+ font-family: Courier New,Courier,monospace;
+ font-size: 13px;
+ font-style: normal;
+ font-variant: normal;
+ font-weight: normal;
+ letter-spacing: 0;
+ line-height: 17px;
+ margin-bottom: 0px;
+ margin-left: 0px;
+ margin-right: 0px;
+ margin-top: 0px;
+ opacity: 1.00;
+ padding-bottom: 0px;
+ padding-top: 0px;
+ text-align: left;
+ text-decoration: none;
+ text-indent: 0px;
+ text-transform: none;
+}