aboutsummaryrefslogtreecommitdiffstats
path: root/www/custom.css
diff options
context:
space:
mode:
Diffstat (limited to 'www/custom.css')
-rw-r--r--www/custom.css42
1 files changed, 42 insertions, 0 deletions
diff --git a/www/custom.css b/www/custom.css
index d0ff087..d7f8075 100644
--- a/www/custom.css
+++ b/www/custom.css
@@ -15,3 +15,45 @@ div#footer a:hover, div#header a:hover
color: red;
text-decoration: none;
}
+
+div.codehilite:before
+{
+ content: "// code";
+}
+
+img[alt=test-result-svg]
+{
+ float: right;
+}
+
+p.info
+{
+ margin-top: 2ch;
+ margin-bottom: 2ch;
+ margin-left: 0ch;
+ margin-right: 0ch;
+ float: left;
+}
+
+p.left
+{
+ text-align: left;
+ width: 33%
+}
+
+p.center
+{
+ text-align: center;
+ width: 33%
+}
+
+p.right
+{
+ text-align: right;
+ width: 34%
+}
+
+ul.man-toc
+{
+ clear: both;
+}