Switch to unified view

a/src/doc/user/docbook.css b/src/doc/user/docbook.css
...
...
21
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
21
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
22
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
23
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24
 * SUCH DAMAGE.
24
 * SUCH DAMAGE.
25
 *
25
 *
26
 * $FreeBSD: doc/share/misc/docbook.css,v 1.11 2007/07/08 06:23:33 chinsan Exp $
26
 * $FreeBSD: doc/share/misc/docbook.css,v 1.12 2007/09/02 22:52:01 chinsan Exp $
27
 */
27
 */
28
28
29
BODY ADDRESS {
29
BODY ADDRESS {
30
    line-height: 1.3;
30
    line-height: 1.3;
31
    margin: .6em 0;
31
    margin: .6em 0;
...
...
106
}
106
}
107
107
108
BODY PRE {
108
BODY PRE {
109
    margin: .75em 0;
109
    margin: .75em 0;
110
    line-height: 1.0;
110
    line-height: 1.0;
111
  color: #461b7e;
111
  font-family: monospace;
112
}
112
}
113
113
114
BODY TD, BODY TH {
114
BODY TD, BODY TH {
115
    line-height: 1.2;
115
    line-height: 1.2;
116
}
116
}
...
...
132
.FILENAME {
132
.FILENAME {
133
    color: #007a00;
133
    color: #007a00;
134
}
134
}
135
135
136
.GUIMENU, .GUIMENUITEM, .GUISUBMENU,
136
.GUIMENU, .GUIMENUITEM, .GUISUBMENU,
137
.GUILABEL, .INTERFACE, .GUIBUTTON,
137
.GUILABEL, .INTERFACE,
138
.SHORTCUT, .SHORTCUT .KEYCAP {
138
.SHORTCUT, .SHORTCUT .KEYCAP {
139
  font-weight: bold;
140
}
141
142
.GUIBUTTON {
139
    background-color: #CFCFCF;
143
    background-color: #CFCFCF;
144
  padding: 2px;
140
}
145
}
141
146
142
.ACCEL {
147
.ACCEL {
143
    background-color: #F0F0F0;
148
    background-color: #F0F0F0;
144
    text-decoration: underline;
149
    text-decoration: underline;
145
} 
150
} 
146
151
147
.PROGRAMLISTING, .SCREEN {
152
.PROGRAMLISTING, .SCREEN {
148
  margin-left: 3ex;
153
  background-color: #DEE3E7;
154
  padding: 4px;
149
}
155
}
156
157
@media screen {  /* hide from IE3 */
158
  a[href]:hover { background: #ffa }
159
}