Fix ssh command when execited with a wget pipe

[src/xds/xds-server.git] / webapp / src / app / devel / build / build.component.css

diff --git a/webapp/src/app/devel/build/build.component.css b/webapp/src/app/devel/build/build.component.css
index 6784a9f..695a89b 100644 (file)
--- a/webapp/src/app/devel/build/build.component.css
+++ b/webapp/src/app/devel/build/build.component.css
@@ -25,12 +25,17 @@
     border: none;
 }
 
+.table-in-accordion>tbody>tr>th {
+    width: 30%
+}
+
 .btn-large {
     width: 10em;
 }
 
-.fa-size-x2 {
+.fa-big {
     font-size: 18px;
+    font-weight: bold;
 }
 
 .textarea-scroll {
@@ -42,4 +47,8 @@ h2 {
     font-family: sans-serif;
     font-variant: small-caps;
     font-size: x-large;
-}
\ No newline at end of file
+}
+
+.panel-heading {
+    background: aliceblue;
+}