annotate libcxxabi/www/content.css @ 266:00f31e85ec16 default tip

Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 html { margin: 0px; } body { margin: 8px; }
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 html, body {
anatofuz
parents:
diff changeset
4 padding:0px;
anatofuz
parents:
diff changeset
5 font-size:small; font-family:"Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, Helvetica, sans-serif; background-color: #fff; color: #222;
anatofuz
parents:
diff changeset
6 line-height:1.5;
anatofuz
parents:
diff changeset
7 }
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 h1, h2, h3, tt { color: #000 }
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 h1 { padding-top:0px; margin-top:0px;}
anatofuz
parents:
diff changeset
12 h2 { color:#333333; padding-top:0.5em; }
anatofuz
parents:
diff changeset
13 h3 { padding-top: 0.5em; margin-bottom: -0.25em; color:#2d58b7}
anatofuz
parents:
diff changeset
14 li { padding-bottom: 0.5em; }
anatofuz
parents:
diff changeset
15 ul { padding-left:1.5em; }
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 /* Slides */
anatofuz
parents:
diff changeset
18 IMG.img_slide {
anatofuz
parents:
diff changeset
19 display: block;
anatofuz
parents:
diff changeset
20 margin-left: auto;
anatofuz
parents:
diff changeset
21 margin-right: auto
anatofuz
parents:
diff changeset
22 }
anatofuz
parents:
diff changeset
23
anatofuz
parents:
diff changeset
24 .itemTitle { color:#2d58b7 }
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 /* Tables */
anatofuz
parents:
diff changeset
27 tr { vertical-align:top }