/[sed]/sed/sed.css
ViewVC logotype

Contents of /sed/sed.css

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.2 - (show annotations) (download) (as text)
Sat Aug 8 15:57:39 2020 UTC (4 years ago) by th_g
Branch: MAIN
CVS Tags: HEAD
Changes since 1.1: +9 -2 lines
File MIME type: text/css
Adjust line width and table of contents definitions.

1
2 pre.example {
3 /* Round Corners */
4 -webkit-border-radius: 5px;
5 -moz-border-radius: 5px;
6 border-radius: 5px;
7
8 padding: 1ex;
9 border: 1px solid #c0c0c0;
10
11 background-color: #f3f3f3;
12 }
13
14
15 code.example {
16 /* Round Corners */
17 -webkit-border-radius: 2px;
18 -moz-border-radius: 2px;
19 border-radius: 2px;
20
21 padding: 0.3ex 1ex;
22 margin: 0 0.3ex;
23
24 background-color: #f0f0f0;
25 }
26
27 .reduced-width {
28 width: 50em;
29 }
30
31 .summary {
32 width: 12em;
33 margin-top: 1.3em;
34 }

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26