Merge 37d2506 into 7c5f488

opencor · Nov 25, 2019 · 3a4318f · 3a4318f
2 parents 7c5f488 + 37d2506
commit 3a4318f
Show file tree

Hide file tree

Showing 3 changed files with 29 additions and 29 deletions.
diff --git a/doc/res/stylesheet.css b/doc/res/stylesheet.css
@@ -1,17 +1,17 @@
 body {
-    padding: 13px 0px;
+    padding: 13px 0;
     font-family: "Arial", "Sans-Serif";
     font-size: 10pt;
 }
 
 a {
     color: rgb(103, 103, 103);
-    outline: 0px;
     text-decoration: none;
 }
 
-a:hover {
+a:focus, a:hover {
     margin: -1px;
+    outline: 0;
     border: 1px solid rgba(103, 103, 103, 0.13);
     background: rgba(103, 103, 103, 0.05);
     color: rgb(103, 103, 103);
@@ -20,19 +20,19 @@ a:hover {
 a.noHover:hover {
     /* This prevents anchors from looking like a link */
 
-    margin: 0px;
-    border: 0px;
+    margin: 0;
+    border: 0;
     background: rgba(255, 255, 255, 0);
 }
 
 div.contents {
-    border-radius: 0px 0px 13px 13px;
+    border-radius: 0 0 13px 13px;
 }
 
 div.copyright {
     position: fixed;
-    bottom: 0px;
-    left: 0px;
+    bottom: 0;
+    left: 0;
     width: 100%;
     height: 19px;
     border-top: 1px solid rgba(161, 161, 161, 0.39);
@@ -63,29 +63,29 @@ div.copyright div.right {
 }
 
 div.copyright div a.copyright:hover {
-    margin: 0px;
-    border: 0px;
+    margin: 0;
+    border: 0;
     background: none;
 }
 
 div.copyright div img.twitter {
     position: relative;
     top: -15px;
-    border: 0px;
+    border: 0;
 }
 
 div.copyright div img.vpr {
     position: relative;
     top: 4px;
-    border: 0px;
+    border: 0;
 }
 
 div.header {
     z-index: 999;
     padding: 3px;
     position: fixed;
-    top: 0px;
-    left: 0px;
+    top: 0;
+    left: 0;
     width: 100%;
     height: 23px;
     background: rgb(103, 103, 103);
@@ -131,7 +131,7 @@ div.oldDownload {
 }
 
 div.section {
-    margin: 1.5em 0em 0.5em 0em;
+    margin: 1.5em 0 0.5em 0;
     /* Note: the margin is so that it is rendered like a <p>, which is  */
     /*        necessary if we want to use a section at the beginning of */
     /*        a page (because of our fixed header at the top)...        */
@@ -229,7 +229,7 @@ table.changes td.topSeparator {
 }
 
 ul {
-    margin: 7px 0px;
+    margin: 7px 0;
 }
 
 ul > li {
@@ -238,5 +238,5 @@ ul > li {
 }
 
 ul > li > ul {
-    margin: 0px;
+    margin: 0;
 }
diff --git a/src/plugins/editing/CellMLAnnotationView/res/ontologicalTerms.html b/src/plugins/editing/CellMLAnnotationView/res/ontologicalTerms.html
@@ -8,12 +8,12 @@
                 -webkit-user-select: none;
                 font-family: arial, sans-serif;
                 font-size: 10pt;
-                margin: 0px;
+                margin: 0;
                 cursor: default;
             }
 
             a {
-                outline: 0px;
+                outline: 0;
                 color: rgb(54, 96, 146);
                 text-decoration: none;
             }
@@ -30,8 +30,8 @@
             }
 
             a.noHover:hover {
-                margin: 0px;
-                border: 0px;
+                margin: 0;
+                border: 0;
                 background-color: rgba(255, 255, 255, 0);
             }
 
@@ -61,14 +61,14 @@
             img.button:active {
                 border: 1px solid rgb(181, 181, 181);
                 background-color: rgb(220, 220, 220);
-                box-shadow: rgba(0, 0, 0, 0.14902) 0px 2px 4px 0px inset;
+                box-shadow: rgba(0, 0, 0, 0.14902) 0 2px 4px 0 inset;
             }
 
             table {
                 position: relative;
                 top: 4px;
                 width: 100%;
-                border-spacing: 0px;
+                border-spacing: 0;
             }
 
             th {

diff --git a/src/plugins/organisation/PMRWorkspacesWindow/res/diff.html b/src/plugins/organisation/PMRWorkspacesWindow/res/diff.html
@@ -8,7 +8,7 @@
                 -webkit-user-select: none;
                 font-family: arial, sans-serif;
                 font-size: 10pt;
-                margin: 0px;
+                margin: 0;
                 cursor: default;
             }
 
@@ -26,7 +26,7 @@
             }
 
             table td {
-                padding: 0px;
+                padding: 0;
                 white-space: nowrap;
             }
 
@@ -35,7 +35,7 @@
             }
 
             table td.tag {
-                padding: 0em 0.3em 0em 0.3em;
+                padding: 0 0.3em;
                 color: rgb(153, 153, 153);
             }
 
@@ -44,12 +44,12 @@
             }
 
             table tr {
-                margin: 0px;
+                margin: 0;
                 color: rgba(0, 0, 0, 0.69);
             }
 
             table tr td.linenumber {
-                padding: 0em 0.5em 0em 0.5em;
+                padding: 0 0.5em;
                 color: rgb(153, 153, 153);
                 text-align: right;
             }
@@ -60,7 +60,7 @@
             }
 
             table tr.filename {
-                margin: 0em 0em 0.5em 0em;
+                margin: 0 0 0.5em;
                 background-color: rgba(16, 115, 176, 0.69);
                 font-size: 13pt;
                 font-weight: bold;