/*
CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
Derived from http://www.methods.co.nz/asciidoc/docbook-xsl.css
+
+ We might be able to get or make prettier CSS via
+ http://themes.asciidoctor.org/
*/
span.strong {
}
html {
- margin: 0;
+ margin: 0;
padding: 0;
}
body h1, body h2, body h3, body h4, body h5, body h6 {
margin-left: 0
-}
+}
body pre {
margin: 0.5em 10% 0.5em 1em;
- line-height: 1.0;
- color: 333;
+ line-height: 1.4;
+ color: navy;
}
pre, tt, code, .command {
}
tt.literal, code.literal {
- color: 333;
+ color: navy;
}
.programlisting, .screen {
padding: 0.5em 1em;
}
+.guibutton, .guimenu, .guisubmenu, .guimenuitem {
+ font-weight: bold;
+}
+
+.guibutton {
+ background: #f4f4f4;
+ border: 0.5px solid #f4f4f4;
+ border-radius: 0.25em;
+ padding-left: 0.25em;
+ padding-right: 0.25em;
+}
+
+.keycap, .guimenu, .guisubmenu, .guimenuitem {
+ border: 0.5px solid silver;
+ padding-left: 0.25em;
+ padding-right: 0.25em;
+}
+
+.keycap {
+ border-radius: 0.25em;
+}
+
div.sidebar {
background: #ffffee;
margin: 1.0em 10% 0.5em 0;
div.revhistory table {
border-collapse: collapse;
- border: none;
+ border-width: 0;
}
div.revhistory th {
border: none;
div.informaltable tbody > tr > th,
div.informaltable thead > tr > td,
div.informaltable tbody > tr > td {
+ border: 1px solid silver;
padding: 0.4em;
vertical-align: top;
}
vertical-align: bottom;
}
-div.mediaobject img {
- border: 1px solid silver;
- margin-bottom: 0.8em;
-}
div.figure p.title,
div.table p.title
{