|
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 |
}
|