Merge remote branch 'remotes/GiuseppeBilotta/master'

1 files changed, 20 insertions, 0 deletions

diff --git a/doc/style.css b/doc/style.css
index be86a0818..c56494fff 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -82,6 +82,26 @@ div.tags {
 	text-align: center;
 }
 
+.align-left {
+	float:left;
+}
+
+.align-right {
+	float:right;
+}
+
+.align-top {
+	vertical-align:top;
+}
+
+.align-bottom {
+	vertical-align:bottom;
+}
+
+.align-middle {
+	vertical-align:middle;
+}
+
 #backlinks {
 	margin-top: 1em;
 }