changeset 7042:6538485b7c89

less: remove unused .codeblock and .code-body style I could not find any place where these are used.
author domruf <dominikruf@gmail.com>
date Mon, 06 Nov 2017 22:43:43 +0100
parents f470ea0a35d2
children 079b24620dce
files kallithea/public/css/pygments.css
diffstat 1 files changed, 0 insertions(+), 74 deletions(-) [+]
line wrap: on
line diff
--- a/kallithea/public/css/pygments.css	Sun Oct 29 01:31:02 2017 +0200
+++ b/kallithea/public/css/pygments.css	Mon Nov 06 22:43:43 2017 +0100
@@ -1,77 +1,3 @@
-div.codeblock {
-  overflow: auto;
-  padding: 0px;
-  border: 1px solid #ccc;
-  background: #f8f8f8;
-  font-size: 100%;
-  line-height: 100%;
-  /* new */
-  line-height: 125%;
-  -webkit-border-radius: 4px;
-  -moz-border-radius: 4px;
-  border-radius: 4px;
-}
-div.codeblock .code-header {
-  border-bottom: 1px solid #CCCCCC;
-  background: #EEEEEE;
-  padding: 10px 0 5px 0;
-}
-div.codeblock .code-header .stats {
-  clear: both;
-  padding: 2px 8px 2px 14px;
-  border-bottom: 1px solid rgb(204, 204, 204);
-  height: 23px;
-  margin-bottom: 6px;
-}
-div.codeblock .code-header .stats .left {
-  float: left;
-}
-div.codeblock .code-header .stats .left.img {
-  margin-top: -2px;
-}
-div.codeblock .code-header .stats .left.item {
-  float: left;
-  padding: 0 9px 0 9px;
-  border-right: 1px solid #ccc;
-}
-div.codeblock .code-header .stats .left.item pre {
-}
-div.codeblock .code-header .stats .left.item.last {
-  border-right: none;
-}
-div.codeblock .code-header .stats .buttons {
-  float: right;
-  padding-right: 4px;
-}
-div.codeblock .code-header .author {
-  margin-left: 15px;
-  font-weight: bold;
-  height: 25px;
-}
-div.codeblock .code-header .author .user {
-  padding-top: 3px;
-}
-div.codeblock .code-header .commit {
-  margin-left: 15px;
-  font-weight: normal;
-  white-space: pre;
-}
-div.codeblock .code-header .editing-files {
-  margin-left: 15px;
-}
-div.codeblock .code-body table {
-  width: 0 !important;
-  border: 0px !important;
-}
-div.codeblock .code-body table td {
-  border: 0px !important;
-}
-div.code-body {
-  background-color: #FFFFFF;
-}
-div.codeblock .code-header .search-path {
-  padding: 0px 0px 0px 10px;
-}
 div.search-code-body pre .match {
   background-color: #FAFFA6;
 }