modified: n.fq
[GalaxyCodeBases.git] / c_cpp / lib / uthash / doc / styles.css
blob06117223216465219b13194cfd0ef4e2ee6ac256
1 #banner {
2 /* font-size: x-large; */
3 /* background: #ff00ff; */
4 /* height: 100px; */
7 #topnav {
8 /* background-image: url(img/grad_topnav.png); */
9 /* background-repeat: repeat-y; */
10 /* background-color: #af00af; */
11 /* height: 25px; */
12 margin-top: 5px;
13 margin-bottom: 10px;
14 padding: 3px;
15 font-size: 9pt;
16 font-family: sans-serif;
17 /* border-style: solid; */
18 /* border-width: 1px; */
21 #topnav a {
22 padding: 8px;
25 h1,p { margin: 0; } /* non-0 margin on firefox */
27 #mid {
28 /* background-image: url(img/grad_blue.png); */
29 background-repeat: repeat-y;
30 /* background-color: #ffddaa; */
31 padding-top: 20px;
32 padding-top: 20px;
33 margin-bottom: 10px;
36 #mid img {
37 padding-left: 10px;
38 vertical-align: middle;
41 a img {
42 border: 0
45 .twitter-share-button {
46 float: right;
49 .twitter-follow-button {
50 padding: 5px;
53 #nav {
54 background-color: #fff8f1;
55 margin-left: 10px;
56 margin-top: 20px;
57 margin-right: 20px;
58 float: left;
59 padding: 10px;
60 border-style: solid;
61 border-width: 2px;
62 font-family: sans-serif;
66 #nav h2 {
67 font-weight: bold;
68 font-size: 10pt;
71 #nav h3 {
72 /* font-weight: bold; */
73 padding-left: 5px;
74 /* font-style: oblique; */
75 font-family: sans-serif;
76 font-size: 7pt;
79 #nav div {
80 font-size: 9pt;
81 padding-left: 15px;
84 #main {
85 background: #ffffff;
86 margin-top: 20px;
87 margin-left: 170px;
88 padding-left: 20px;
89 height: 100%;
92 #main h1 {
93 font-family: sans-serif;
96 .listing {
97 margin: 20px;
98 font-family: sans-serif;
99 font-weight: bold;
102 .code {
103 padding: 10px;
104 margin: 10px;
105 font-size: 8pt;
106 font-weight: normal;
107 background: #f3f3f3;
108 width: 100%;
109 border-style: solid;
110 border-width: 1px;
113 #footer {
114 /* background: #00ffff; */
115 margin-top: 5px;
116 font-size: small;
117 font-family: sans-serif;
120 hr {
121 height: 0.04em;
122 background: black;
123 margin: 0 10% 0 0;
126 #footer {
127 width: 90%;
130 #footer img {
131 margin-right: 5px;
132 float: right;
135 #footer #support {
136 float: right;
139 body {
140 width: 80%;