# HG changeset patch # User domruf # Date 2017-11-06 22:43:43 # Node ID 6538485b7c89feda952014d81fa80664d09d3a49 # Parent f470ea0a35d243be75721f7477c879deeafea476 less: remove unused .codeblock and .code-body style I could not find any place where these are used. diff --git a/kallithea/public/css/pygments.css b/kallithea/public/css/pygments.css --- a/kallithea/public/css/pygments.css +++ b/kallithea/public/css/pygments.css @@ -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; }