diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-02-24 11:00:05 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-02-24 11:00:05 (GMT) |
commit | 1906cf93f86d8d66f45f90380a8d3da25c087ee5 (patch) | |
tree | 90916c99abe1f1ec26709ee420e6c349eda4670a /licenses/by-sa/legalcode_files/deeds.css | |
parent | 2609573aede4ce198b3462976725b25eb1637d2e (diff) |
Add the full crosstool-NG sources to the new repository of its own.
You might just say: 'Yeah! crosstool-NG's got its own repo!".
Unfortunately, that's because the previous repo got damaged beyond repair and I had no backup.
That means I'm putting backups in place in the afternoon.
That also means we've lost history... :-(
Diffstat (limited to 'licenses/by-sa/legalcode_files/deeds.css')
-rw-r--r-- | licenses/by-sa/legalcode_files/deeds.css | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/licenses/by-sa/legalcode_files/deeds.css b/licenses/by-sa/legalcode_files/deeds.css new file mode 100644 index 0000000..7c50dbc --- /dev/null +++ b/licenses/by-sa/legalcode_files/deeds.css @@ -0,0 +1,54 @@ +body {
+ margin: 0px;
+ padding: 0px;
+ font-family: verdana, arial, helvetica, sans-serif;
+ color: black;
+ background-color: white;
+ text-align: center;
+ font-size:11px;
+ /* part 1 of 2 centering hack */
+ }
+
+#deed {
+ width: 620px;
+ padding: 15px;
+ margin-top: 20px;
+ margin-bottom: 20px;
+ margin-right: auto;
+ margin-left: auto;
+ /* opera does not like 'margin:20px auto' */
+ background: #ffc;
+ border: 3px groove #333;
+ text-align:left;
+ /* part 2 of 2 centering hack */
+ width: 620px; /* ie5win fudge begins */
+ voice-family: "\"}\"";
+ voice-family:inherit;
+ width: 584px;
+ }
+
+html>body #content {
+ width: 584px; /* ie5win fudge ends */
+ }
+
+.fineprint {
+ border:1px solid black;
+ padding:8px;
+ background:#ffffff;
+ text-align:justify;
+}
+
+.text, li {
+ font-family:verdana, sans-serif;
+ font-size:11px;
+ margin-left:20px;
+ margin-right:20px;
+ line-height:140%;
+ text-align:left;
+}
+
+.tiny {
+ font-family:verdana, sans-serif;
+ font-size:11px;
+ margin-bottom:10px;
+}
\ No newline at end of file |