X-Git-Url: https://git.deb.at/?a=blobdiff_plain;f=static%2Fchangelogs.css;fp=static%2Fchangelogs.css;h=3ef4919e44a71230d14f2d37621cf4c556f1d16a;hb=08f111d6668d5278a64d304fbc3bae6be86e6a94;hp=0000000000000000000000000000000000000000;hpb=a287d590ac9129104450c822921bdab3082a7dc6;p=deb%2Fpackages.git

diff --git a/static/changelogs.css b/static/changelogs.css
new file mode 100644
index 0000000..3ef4919
--- /dev/null
+++ b/static/changelogs.css
@@ -0,0 +1,89 @@
+
+.hide {
+        display: none;
+}
+
+ul.navbar {
+            display: inline;
+            list-style-type: none;
+            padding: 0;
+}
+ul.navbar li {
+               display: inline;
+               list-style-type: none;
+}
+ul.navbar li a:before {
+                        content: '[';
+}
+ul.navbar li a:after {
+                        content: ']';
+}
+
+ul.outline {
+             position: absolute;
+             top: .1em;
+             right: .1em;
+             padding: .5em;
+             list-style-type: none;
+             border: thin solid black;
+             background: #ddd;
+             overflow: auto;
+             max-width: 30%;
+}
+ul.outline ul {
+                list-style-type: none;
+}
+
+.document_header {
+                   font-size: xx-large;
+}
+
+.year_header {
+               font-size: x-large;
+}
+
+.entry_header {
+                font-size: medium;
+}
+
+.packagelink {
+              text-decoration: none;
+}
+
+.medium {
+          color: orange;
+}
+.high,
+.critical,
+.emergency {
+             color: red;
+}
+
+.testing,
+.stable,
+.testing-proposed-updates,
+.stable-proposed-updates,
+.frozen {
+                           color: orange;
+}
+.stable-security,
+.testing-security,
+.experimental {
+                color: red;
+}
+
+.trailer a {
+             text-decoration: none;
+}
+
+.parse_error {
+               font-style: italic;
+               font-size: small;
+               margin-top: -1em;
+}
+
+.footer address {
+                  padding: .5em;
+                  border-top: thin solid black;
+                  background-color: #ddd;
+}