1 html
, body
{ font:"lucida", sans-serif
; color:#000; background:#fefefe }
2 h1
{ font-weight:bold
; font-size:x-large
; border-bottom:solid
;
3 margin-top:3ex; margin-bottom:3ex; }
4 h1 a
{ text-decoration:none
; color:#000; }
5 h1
a:hover
{ background:#ddd; }
6 h2
{ font-weight:bold
; font-size:larger
;
7 color:#fff; background:#27b; padding:0.7ex; }
8 h2 a
{ text-decoration:none
; color:#fff; }
9 h2
a:hover
{ background:#49c; }
10 h3
{ font-weight:bold
; font-size:medium
;
11 color:#fff; background:#5af; padding:0.7ex; }
12 h3 a
{ text-decoration:none
; color:#fff; }
15 font-weight:bold
; font-size:larger
;
16 color:#fff; background:#27b; padding:0.7ex;
17 text-decoration:none
; display:block
; margin-bottom:1ex;
19 p a
.definition:hover
{ background:#49c; }
21 a
.alias
{ text-decoration:none
; border-bottom: thin dashed
; }
22 a
.near:link
{ color:#093; }
23 a
.near:visited
{ color:#550; }
24 a
.near:active
{ color:#0F0; }
26 div
.footer
{ border-top:solid
; padding-top:2ex; margin-top:5ex;
28 div
.footer hr
{ display:none
; }
30 div
.rc hr
{ display:none
; }
31 div
.rc
{ margin-top:4ex; }
32 div
.old
{ background-color:#ffd; }
33 div
.new
{ background-color:#dfd; }
34 div
.diff
{ padding-left:2ex; padding-right:2ex; border-style:dashed
;
35 margin-left:5%; margin-right:5%; margin-bottom:5ex; }
36 div
.diff
+ hr
{ display: none
}
37 div
.refer
{ padding-left:5%; padding-right:5%; font-size:smaller
; }
38 div
.rss
{ background-color:#eef; }
39 div
.message
{ background-color:#fee; color:#f00; border:solid
#f00;
40 font-weight:bold
; padding-left:1em; margin:1em; }
41 div
.sister
{ float:left
; margin-right:1ex; background-color:#fff; }
42 div
.sister p
{ margin-top:0; border-top:solid
; }
43 div
.sister hr
{ display:none
; }
44 div
.near
, div
.definition
{ background-color:#efe; border-top:solid
; }
46 table
.user
{ border-style:dotted
; border-width:thin
; padding:1ex;
47 margin-bottom:1ex; width:90%; text-align:center
; margin-left:5%; }
48 table
.user tr td
{ padding-left:1em; padding-right:1em; text-align:center
; }
50 dt
{ font-weight:bold
; }
51 li
{ margin-bottom:0.5ex; }
55 border: #777 1px solid
; padding: 0.5em;
56 margin-left: 1em; margin-right: 2em;
58 background-color: #e6e6e6; color: black
; }
60 float:right
; clear:right
; background-color:#fff;
61 border:#999 1px solid
; padding:1ex; margin:1ex; }
64 span
.gotobar
, span
.specialdays
, div
.refer
, div
.footer
, div
.near
,
65 div
.definition
, div
.sister
{ display:none
}