Changeset - 6538485b7c89
[Not reviewed]
default
0 1 0
domruf - 8 years ago 2017-11-06 22:43:43
dominikruf@gmail.com
less: remove unused .codeblock and .code-body style

I could not find any place where these are used.
1 file changed with 0 insertions and 74 deletions:
0 comments (0 inline, 0 general)
kallithea/public/css/pygments.css
Show inline comments
 
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;
 
}
0 comments (0 inline, 0 general)