v3.3.0-RC1 (2023-08-02)

taoensso · Aug 2, 2023 · 6e9d293 · 6e9d293
1 parent 8025f35
commit 6e9d293
Show file tree

Hide file tree

Showing 5 changed files with 132 additions and 33 deletions.
diff --git a/css/default.css b/css/default.css
@@ -44,7 +44,7 @@ h5.license {
     right: 0;
     height: 22px;
     color: #f5f5f5;
-    padding: 5px 7px;
+    padding: 7px 10px;
 }
 
 #content {
@@ -92,16 +92,17 @@ h5.license {
 
 #header {
     background: #3f3f3f;
-    box-shadow: 0 0 8px rgba(0, 0, 0, 0.4);
+    border-bottom: 1px solid #cccccc;
     z-index: 100;
 }
 
 #header h1 {
+    display: block;
+    float: left;
     margin: 0;
     padding: 0;
     font-size: 18px;
     font-weight: lighter;
-    text-shadow: -1px -1px 0px #333;
 }
 
 #header h1 .project-version {
@@ -121,6 +122,26 @@ h5.license {
     color: #f5f5f5;
 }
 
+#langs {
+    display: block;
+    float: left;
+    font-size: 16px;
+    margin: 0 10px;
+}
+
+#langs .lang {
+    display: inline-block;
+    margin: 0 2px;
+    padding: 0 7px;
+    background-color: #717171;
+    border-radius: 6px;
+    vertical-align: middle;
+}
+
+#langs .lang.current {
+    background-color: #a33;
+}
+
 .sidebar a {
     color: #333;
 }
@@ -325,7 +346,8 @@ h5.license {
 h4.type,
 h4.dynamic,
 h4.added,
-h4.deprecated {
+h4.deprecated,
+h4.lang {
     float: left;
     margin: 3px 10px 15px 0;
     font-size: 15px;
@@ -336,15 +358,17 @@ h4.deprecated {
 .public h4.type,
 .public h4.dynamic,
 .public h4.added,
-.public h4.deprecated {
+.public h4.deprecated,
+.public h4.lang {
     font-size: 13px;
     font-weight: bold;
     margin: 3px 0 0 10px;
 }
 
 .members h4.type,
 .members h4.added,
-.members h4.deprecated {
+.members h4.deprecated,
+.members h4.lang {
     margin-top: 1px;
 }
 
@@ -364,6 +388,16 @@ h4.deprecated {
     color: #880000;
 }
 
+.public h4.lang, .public h4.lang a {
+    font-weight: normal;
+    font-variant: normal;
+    color: #717171;
+}
+
+.public h4.lang.current {
+    color: #a33;
+}
+
 .namespace {
     margin-bottom: 30px;
 }