Remove obsolete #mkwsShiftedTermlists styles.
authorMike Taylor <mike@indexdata.com>
Wed, 10 Jul 2013 12:04:55 +0000 (13:04 +0100)
committerMike Taylor <mike@indexdata.com>
Wed, 10 Jul 2013 12:04:55 +0000 (13:04 +0100)
tools/htdocs/mkwsStyle.css

index 1571da7..b807ed3 100644 (file)
@@ -8,7 +8,6 @@
 #mkwsRecords,
 #mkwsTargets,
 #mkwsStat,
-#mkwsShiftedTermlists,
 #mkwsMOTD {
     font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
 }
@@ -68,8 +67,7 @@
 #mkwsRanking a,
 #mkwsPager a,
 #mkwsNavi a,
-#mkwsRecords a,
-#mkwsShiftedTermlists a {
+#mkwsRecords a {
     color: #005701;
     text-decoration: none;
 }
@@ -78,8 +76,7 @@
 #mkwsLang a:hover,
 #mkwsTermlists a:hover,
 #mkwsPager a:hover,
-#mkwsRecords a:hover,
-#mkwsShiftedTermlists a:hover {
+#mkwsRecords a:hover {
     text-decoration: underline;
 }
 
     background: #f0f8ff;
 }
 
-#mkwsTermlists .title,
-#mkwsShiftedTermlists .title {
+#mkwsTermlists .title {
     font-size: large;
     font-weight: bold;
     text-transform: uppercase;
 }
 
-#mkwsTermlists,
-#mkwsShiftedTermlists div#termlist  {
+#mkwsTermlists {
     background: #d0e0ff;
     padding: 0.7em;
     font-size: small;
     -webkit-border-top-right-radius: 10px;
 }
 
-#mkwsTermlists div.facet,
-#mkwsShiftedTermlists div.facet {
+#mkwsTermlists div.facet {
     background: #e0f0ff;
     padding: 0.7em;
     margin-top: 0.7em;
     -webkit-border-top-right-radius: 10px;
 }
 
-#mkwsTermlists div.termtitle,
-#mkwsShiftedTermlists div.termtitle {
+#mkwsTermlists div.termtitle {
     font-weight: bold;
 }
 
-#mkwsRecords div.record,
-#mkwsShiftedTermlists div.record {
+#mkwsRecords div.record {
     padding: 5px;
 }
 
     -webkit-border-top-right-radius: 10px;
 }
 
-#mkwsRecords div.details th,
-#mkwsShiftedTermlists div.details th {
+#mkwsRecords div.details th {
     text-align: right;
     vertical-align: top;
     padding-right: 0.6em;
 }
 
-#mkwsRecords div.details th:after,
-#mkwsShiftedTermlists div.details th:after {
+#mkwsRecords div.details th:after {
     content: ":";
 }