chore: fix various problems (#39298)

Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>

web_src/css/base.css

@@ -324,6 +324,12 @@ a.silenced:hover {
   text-decoration-line: none;
 }
 
+a.disabled {
+  cursor: default;
+  pointer-events: none;
+  opacity: var(--opacity-disabled);
+}
+
 a.label,
 .ui .menu a,
 .ui.cards a.card {
@@ -657,18 +663,6 @@ overflow-menu .ui.label:empty {
   vertical-align: top;
 }
 
-.lines-code pre {
-  background-color: inherit;
-  margin: 0;
-  padding: 0 !important;
-}
-
-.lines-code pre li {
-  display: block;
-  width: calc(100% - 1ch);
-  padding-left: 1ch;
-}
-
 .lines-escape {
   width: 0;
   white-space: nowrap;