summaryrefslogtreecommitdiffstats
path: root/userContent
diff options
context:
space:
mode:
Diffstat (limited to 'userContent')
-rw-r--r--userContent/reproducible/static/style_dbd.css270
1 files changed, 0 insertions, 270 deletions
diff --git a/userContent/reproducible/static/style_dbd.css b/userContent/reproducible/static/style_dbd.css
deleted file mode 100644
index 57418f31..00000000
--- a/userContent/reproducible/static/style_dbd.css
+++ /dev/null
@@ -1,270 +0,0 @@
-html {
- font-size: 100%;
- -webkit-text-size-adjust: 100%;
- -ms-text-size-adjust:100%;
-}
-
-body {
- width: 100%;
- font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
- font-size: 13px;
- line-height: 16px;
- color: #333333;
- padding: 0.25em 0.25em 0em 0em;
- margin: 0em 0.25em 0em 0em;
-}
-
-#
-# begin dbd style
-#
-.footer {
- font-size: small;
-}
-.difference {
- border: outset #888 1px;
- background-color:rgba(0,0,0,.1);
- padding: 0.5em;
- margin: 0.25em 0;
-}
-.comment {
- font-style: italic;
-}
-.source {
- font-weight: bold;
-}
-.error {
- border: solid black 1px;
- background: red;
- color: white;
- padding: 0.2em;
-}
-table.diff {
- font-size: 10pt;
-}
-.lnr {
- background-color: #ccc;
- color: #666;
-}
-.DiffChange {
- background-color: #ff8888;
- font-weight: bold;
-}
-.DiffText {
- color: white;
- background-color: #ff4444;
- font-weight: bold;
-}
-#
-# end dbd style
-#
-
-pre {
- overflow: auto;
-}
-
-a {
- color:#0088cc;
- text-decoration:none;
-}
-
-a:hover, a:focus {
- color:#005580;
- text-decoration:underline;
-}
-
-header {
- border-bottom: 1px solid #d70a53;
-}
-
-footer {
- text-align: center;
- margin-top: 1em;
-}
-
-ul, ol {
- padding-left: 0;
-}
-
-ul, li {
- list-style: none;
-}
-
-ul li {
- display: inline-block;
-}
-
-ul li a {
- background: #fafafa;
- border: 1px solid #ddd;
- margin: 0 0.5em 0.2em 0;
- border-radius: 0.5em;
- padding: 0.15em 0.5em;
- display: block;
-}
-
-nav ul li {
- display: block;
-}
-
-nav ul li a {
- background: none;
- border: none;
- padding: 0;
-}
-
-h1 {
- font-size : 250%;
- padding: 0;
- margin: 0;
- margin-right: 260px;
- line-height: 1.4em;
-}
-
-h2 {
- font-size : 110%;
- background: #d70a53;
- margin: 1em 0 0;
- padding: 0.5em;
- color: #fff;
- border-top-left-radius: 0.5em;
- border-top-right-radius: 0.5em;
-}
-
-h3 {
- font-size : 110%;
-}
-
-table {
- width: 100%;
- border: 1px solid #ddd;
- border-radius: 0.25em;
- border-collapse: collapse;
- box-shadow: 0 1px 3px #eee;
- padding: 0
-}
-
-tr:nth-child(odd) {
- background-color: #fafafa;
-}
-
-td, th {
- text-align: left;
- padding: 0.15em 0.25em;
- border-bottom: 1px solid #ddd;
- border-collapse: collapse;
- vertical-align: top;
-}
-
-table tr:last-child td {
- border: none;
-}
-
-th {
- background: #eee;
- padding: 0.25em;
-}
-
-hr {
- border-bottom: 1px solid #d70a53;
- margin-bottom: 1em;
-}
-
-form {
- overflow: hidden;
- margin: 1em 0;
-}
-
-#searchform {
- text-align: center;
- padding: 1em 0;
- border-top: 1px solid #ddd;
- border-bottom: 1px solid #ddd;
-}
-
-label {
- cursor: pointer;
- display: inline-block;
-}
-
-input[type="text"] {
- background: #fff;
- border: 1px solid #ddd;
- padding: 0.25em;
- border-radius: 0.3em;
-}
-
-input[type="submit"] {
- cursor: pointer;
- padding: 0.25em 0.5em;
- border-radius: 0.3em;
- border: 1px solid #ddd;
- background: rgb(226,226,226); /* Old browsers */
- background: -moz-linear-gradient(top, rgba(226,226,226,1) 0%, rgba(219,219,219,1) 15%, rgba(209,209,209,1) 28%, rgba(254,254,254,1) 100%); /* FF3.6+ */
- background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(226,226,226,1)), color-stop(15%,rgba(219,219,219,1)), color-stop(28%,rgba(209,209,209,1)), color-stop(100%,rgba(254,254,254,1))); /* Chrome,Safari4+ */
- background: -webkit-linear-gradient(top, rgba(226,226,226,1) 0%,rgba(219,219,219,1) 15%,rgba(209,209,209,1) 28%,rgba(254,254,254,1) 100%); /* Chrome10+,Safari5.1+ */
- background: -o-linear-gradient(top, rgba(226,226,226,1) 0%,rgba(219,219,219,1) 15%,rgba(209,209,209,1) 28%,rgba(254,254,254,1) 100%); /* Opera 11.10+ */
- background: -ms-linear-gradient(top, rgba(226,226,226,1) 0%,rgba(219,219,219,1) 15%,rgba(209,209,209,1) 28%,rgba(254,254,254,1) 100%); /* IE10+ */
- background: linear-gradient(to bottom, rgba(226,226,226,1) 0%,rgba(219,219,219,1) 15%,rgba(209,209,209,1) 28%,rgba(254,254,254,1) 100%); /* W3C */
- filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#e2e2e2', endColorstr='#fefefe',GradientType=0 ); /* IE6-9 */
-}
-
-input[type="submit"]:hover {
- text-shadow: 0 0 3px #666;
-}
-
-input[type="checkbox"] {
- vertical-align: middle;
-}
-
-label[rel="urgency"] {
- padding: 0.5em 0;
- color: #fff;
- background: #729fcf;
- /*background: #ad7fa8;*/
- /*background: #f74a73;*/
-}
-
-label[rel="scope"] {
- padding: 0.5em 0;
- color: #fff;
- background: #3465a4;
- /*background: #75507b;*/
- /*background: #e72a53;*/
-}
-
-label[rel="extra"] {
- padding: 0.5em 0;
- color: #fff;
- background: #204a87;
- /*background: #5c3566;*/
- /*background: #d70a53;*/
-}
-
-label[rel="extra"]:last-child {
- margin-right: 0.5em;
- padding-right: 0.5em;
-}
-
-span.red { color: red; }
-span.purple { color: purple; }
-span.green { color: green; }
-span.dangerous { color: orange; }
-
-@media all and (max-width: 641px) {
- body {
- font-size: 12px;
- }
- table {
- table-layout: fixed;
- }
- td, th {
- overflow: hidden;
- }
-}
-
-#@media all and (min-width: 641px) {
-# header {
-# background: url(/userContent/static/logo.png) right 5px no-repeat;
-# min-height: 30px;
-# }
-#}