border: 1px solid #D8769A;
border-left: none;
border-right: none;
+ font-size: .8em;
+}
+
+div.seealso ul {
+ margin-top: 0.2em;
+ margin-bottom: 0.2em;
}
div.warning {
border: 1px solid #3d7aa5;
border-left: none;
border-right: none;
+ font-size: .8em;
}
p.admonition-title {