diff --git a/html/hoogle.css b/html/hoogle.css index f6ae92bd..8a3196cf 100644 --- a/html/hoogle.css +++ b/html/hoogle.css @@ -3,6 +3,7 @@ */ html { + color-scheme: light dark; height: 100%; } @@ -28,11 +29,11 @@ a img { } a:hover { - background-color: #ffb; + background-color: light-dark(#ffb, #443300); } a { - color: #C4451D; + color: light-dark(#C4451D, #e06840); text-decoration: none; } @@ -41,9 +42,9 @@ a { */ #links { - background: none repeat scroll 0 0 #293845; - border-top: 5px solid #4E6272; - color: #DDDDDD; + background: none repeat scroll 0 0 light-dark(#293845, #1a2530); + border-top: 5px solid light-dark(#4E6272, #3a4e5e); + color: light-dark(#DDDDDD, #cccccc); text-align: right; padding: 0.2em; } @@ -72,7 +73,7 @@ a { } #top-menu li a:hover { - background-color: #4e6272; + background-color: light-dark(#4e6272, #3a4e5e); text-decoration: underline; } @@ -80,6 +81,10 @@ form { margin-bottom: 0px; } +#logo:hover { + background-color: initial; +} + #logo img { vertical-align: bottom; } @@ -141,7 +146,7 @@ form { } #left a { - color: #C4451D; + color: light-dark(#C4451D, #e06840); text-decoration: none; background-repeat: no-repeat; } @@ -150,7 +155,7 @@ form { padding-right: 16px; background-image: url(more_small.png); background-position: center right; - color: #0E774A; + color: light-dark(#0E774A, #2aaf6e); } #left .pad { @@ -158,7 +163,7 @@ form { } #left .minus { - color: #770E00; + color: light-dark(#770E00, #cc4422); padding-left: 16px; background-image: url(less_small.png); background-position: center left; @@ -170,9 +175,9 @@ form { */ #footer { - background: none repeat scroll 0 0 #DDDDDD; - border-top: 1px solid #AAAAAA; - color: #666666; + background: none repeat scroll 0 0 light-dark(#DDDDDD, #333333); + border-top: 1px solid light-dark(#AAAAAA, #555555); + color: light-dark(#666666, #aaaaaa); width: 100%; padding: 1.3em 0; text-align: center; @@ -205,7 +210,7 @@ p { */ .error { - border-bottom: 2px solid red; + border-bottom: 2px solid light-dark(red, #ff6666); text-decoration: none; white-space: pre; } @@ -216,10 +221,10 @@ p { margin-bottom: 20px; padding: 3px; width: 400px; - border: 2px solid #cc0; - color: black; - background-color: #F5F5F5; - border: 1px solid #E5E5E5; + border: 2px solid light-dark(#cc0, #998800); + color: light-dark(black, #e8e8e8); + background-color: light-dark(#F5F5F5, #232323); + border: 1px solid light-dark(#E5E5E5, #2c2c2c); text-align: left; } @@ -239,7 +244,7 @@ p { } .result.active { - background-color: #f7f5c0; + background-color: light-dark(#f7f5c0, #3a3820); } .from, .doc { @@ -258,41 +263,41 @@ a.dull, a.dull:hover { } .ans { - background: none repeat scroll 0 0 #F0F0F0; - border-top: 1px solid #CCCCCC; + background: none repeat scroll 0 0 light-dark(#F0F0F0, #252525); + border-top: 1px solid light-dark(#CCCCCC, #444444); font-size: 16px; padding: 0.2em 0.5em; } .ans a { - color: black; + color: light-dark(black, #e8e8e8); } .ans .name { - color: #C4451D; + color: light-dark(#C4451D, #e06840); } .links { float: right; - color: #CCCCCC; + color: light-dark(#CCCCCC, #444444); } .links a { - color: #888; + color: light-dark(#888, #999999); font-size: 12px; } -.c0{background-color: #fcc;} -.c1{background-color: #cfc;} -.c2{background-color: #ccf;} -.c3{background-color: #ffc;} -.c4{background-color: #fcf;} -.c5{background-color: #cff;} +.c0{background-color: light-dark(#fcc, #4a1a1a);} +.c1{background-color: light-dark(#cfc, #1a4a1a);} +.c2{background-color: light-dark(#ccf, #1a1a4a);} +.c3{background-color: light-dark(#ffc, #4a4a1a);} +.c4{background-color: light-dark(#fcf, #4a1a4a);} +.c5{background-color: light-dark(#cff, #1a4a4a);} .more, .more:visited { padding-left: 16px; background-image: url(more_blue.png); background-repeat: no-repeat; background-position: center left; - color: blue; + color: light-dark(blue, #6699ff); } /** PARENTS **/ @@ -300,7 +305,7 @@ a.dull, a.dull:hover { .from a, .p1, .p2 { white-space: nowrap; text-decoration: none; - color: #0E774A; + color: light-dark(#0E774A, #2aaf6e); } /** DOCS **/ @@ -318,7 +323,7 @@ docs may be in one of three states: margin-bottom: 1.0em; } .doc, .doc a { - color: #888; + color: light-dark(#888, #999999); } .doc h1, .doc h2, .doc h3, .doc h4, .doc h5, .doc h6 { font-size: 11px; diff --git a/html/hoogle.png b/html/hoogle.png index eb083058..baa83716 100644 Binary files a/html/hoogle.png and b/html/hoogle.png differ diff --git a/html/plugin/chosen.css b/html/plugin/chosen.css index fe43ff49..f89d385f 100644 --- a/html/plugin/chosen.css +++ b/html/plugin/chosen.css @@ -33,10 +33,10 @@ This file is generated by `grunt build`, do not edit it by hand. left: -9999px; z-index: 1010; width: 100%; - border: 1px solid #aaa; + border: 1px solid light-dark(#aaa, #555555); border-top: 0; - background: #fff; - box-shadow: 0 4px 5px rgba(0, 0, 0, 0.15); + background: light-dark(#fff, #1e1e1e); + box-shadow: 0 4px 5px light-dark(rgba(0, 0, 0, 0.15), rgba(0, 0, 0, 0.5)); } .chosen-container.chosen-with-drop .chosen-drop { left: 0; @@ -53,23 +53,23 @@ This file is generated by `grunt build`, do not edit it by hand. overflow: hidden; padding: 0 0 0 8px; height: 25px; - border: 1px solid #aaa; + border: 1px solid light-dark(#aaa, #555555); border-radius: 5px; - background-color: #fff; - background: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(20%, #ffffff), color-stop(50%, #f6f6f6), color-stop(52%, #eeeeee), color-stop(100%, #f4f4f4)); - background: -webkit-linear-gradient(top, #ffffff 20%, #f6f6f6 50%, #eeeeee 52%, #f4f4f4 100%); - background: -moz-linear-gradient(top, #ffffff 20%, #f6f6f6 50%, #eeeeee 52%, #f4f4f4 100%); - background: -o-linear-gradient(top, #ffffff 20%, #f6f6f6 50%, #eeeeee 52%, #f4f4f4 100%); - background: linear-gradient(top, #ffffff 20%, #f6f6f6 50%, #eeeeee 52%, #f4f4f4 100%); + background-color: light-dark(#fff, #1e1e1e); + background: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(20%, light-dark(#ffffff, #1e1e1e)), color-stop(50%, light-dark(#f6f6f6, #222222)), color-stop(52%, light-dark(#eeeeee, #282828)), color-stop(100%, light-dark(#f4f4f4, #242424))); + background: -webkit-linear-gradient(top, light-dark(#ffffff, #1e1e1e) 20%, light-dark(#f6f6f6, #222222) 50%, light-dark(#eeeeee, #282828) 52%, light-dark(#f4f4f4, #242424) 100%); + background: -moz-linear-gradient(top, light-dark(#ffffff, #1e1e1e) 20%, light-dark(#f6f6f6, #222222) 50%, light-dark(#eeeeee, #282828) 52%, light-dark(#f4f4f4, #242424) 100%); + background: -o-linear-gradient(top, light-dark(#ffffff, #1e1e1e) 20%, light-dark(#f6f6f6, #222222) 50%, light-dark(#eeeeee, #282828) 52%, light-dark(#f4f4f4, #242424) 100%); + background: linear-gradient(top, light-dark(#ffffff, #1e1e1e) 20%, light-dark(#f6f6f6, #222222) 50%, light-dark(#eeeeee, #282828) 52%, light-dark(#f4f4f4, #242424) 100%); background-clip: padding-box; - box-shadow: 0 0 3px white inset, 0 1px 1px rgba(0, 0, 0, 0.1); - color: #444; + box-shadow: 0 0 3px light-dark(white, #1e1e1e) inset, 0 1px 1px light-dark(rgba(0, 0, 0, 0.1), rgba(0, 0, 0, 0.4)); + color: light-dark(#444, #bbbbbb); text-decoration: none; white-space: nowrap; line-height: 24px; } .chosen-container-single .chosen-default { - color: #999; + color: light-dark(#999, #777777); } .chosen-container-single .chosen-single span { display: block; @@ -124,8 +124,8 @@ This file is generated by `grunt build`, do not edit it by hand. width: 100%; height: auto; outline: 0; - border: 1px solid #aaa; - background: white url('chosen-sprite.png') no-repeat 100% -20px; + border: 1px solid light-dark(#aaa, #555555); + background: light-dark(white, #1e1e1e) url('chosen-sprite.png') no-repeat 100% -20px; background: url('chosen-sprite.png') no-repeat 100% -20px; font-size: 1em; font-family: sans-serif; @@ -145,7 +145,7 @@ This file is generated by `grunt build`, do not edit it by hand. /* @end */ /* @group Results */ .chosen-container .chosen-results { - color: #444; + color: light-dark(#444, #bbbbbb); position: relative; overflow-x: hidden; overflow-y: auto; @@ -169,22 +169,22 @@ This file is generated by `grunt build`, do not edit it by hand. } .chosen-container .chosen-results li.disabled-result { display: list-item; - color: #ccc; + color: light-dark(#ccc, #444444); cursor: default; } .chosen-container .chosen-results li.highlighted { - background-color: #3875d7; - background-image: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(20%, #3875d7), color-stop(90%, #2a62bc)); - background-image: -webkit-linear-gradient(#3875d7 20%, #2a62bc 90%); - background-image: -moz-linear-gradient(#3875d7 20%, #2a62bc 90%); - background-image: -o-linear-gradient(#3875d7 20%, #2a62bc 90%); - background-image: linear-gradient(#3875d7 20%, #2a62bc 90%); - color: #fff; + background-color: light-dark(#3875d7, #4a8ae8); + background-image: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(20%, light-dark(#3875d7, #4a8ae8)), color-stop(90%, light-dark(#2a62bc, #3a72cc))); + background-image: -webkit-linear-gradient(light-dark(#3875d7, #4a8ae8) 20%, light-dark(#2a62bc, #3a72cc) 90%); + background-image: -moz-linear-gradient(light-dark(#3875d7, #4a8ae8) 20%, light-dark(#2a62bc, #3a72cc) 90%); + background-image: -o-linear-gradient(light-dark(#3875d7, #4a8ae8) 20%, light-dark(#2a62bc, #3a72cc) 90%); + background-image: linear-gradient(light-dark(#3875d7, #4a8ae8) 20%, light-dark(#2a62bc, #3a72cc) 90%); + color: light-dark(#fff, #1e1e1e); } .chosen-container .chosen-results li.no-results { - color: #777; + color: light-dark(#777, #999999); display: list-item; - background: #f4f4f4; + background: light-dark(#f4f4f4, #242424); } .chosen-container .chosen-results li.group-result { display: list-item; @@ -209,13 +209,13 @@ This file is generated by `grunt build`, do not edit it by hand. width: 100%; height: auto !important; height: 1%; - border: 1px solid #aaa; - background-color: #fff; - background-image: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(1%, #eeeeee), color-stop(15%, #ffffff)); - background-image: -webkit-linear-gradient(#eeeeee 1%, #ffffff 15%); - background-image: -moz-linear-gradient(#eeeeee 1%, #ffffff 15%); - background-image: -o-linear-gradient(#eeeeee 1%, #ffffff 15%); - background-image: linear-gradient(#eeeeee 1%, #ffffff 15%); + border: 1px solid light-dark(#aaa, #555555); + background-color: light-dark(#fff, #1e1e1e); + background-image: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(1%, light-dark(#eeeeee, #282828)), color-stop(15%, light-dark(#ffffff, #1e1e1e))); + background-image: -webkit-linear-gradient(light-dark(#eeeeee, #282828) 1%, light-dark(#ffffff, #1e1e1e) 15%); + background-image: -moz-linear-gradient(light-dark(#eeeeee, #282828) 1%, light-dark(#ffffff, #1e1e1e) 15%); + background-image: -o-linear-gradient(light-dark(#eeeeee, #282828) 1%, light-dark(#ffffff, #1e1e1e) 15%); + background-image: linear-gradient(light-dark(#eeeeee, #282828) 1%, light-dark(#ffffff, #1e1e1e) 15%); cursor: text; } .chosen-container-multi .chosen-choices li { @@ -235,7 +235,7 @@ This file is generated by `grunt build`, do not edit it by hand. border: 0 !important; background: transparent !important; box-shadow: none; - color: #999; + color: light-dark(#999, #777777); font-size: 100%; font-family: sans-serif; line-height: normal; @@ -245,20 +245,20 @@ This file is generated by `grunt build`, do not edit it by hand. position: relative; margin: 3px 5px 3px 0; padding: 3px 20px 3px 5px; - border: 1px solid #aaa; + border: 1px solid light-dark(#aaa, #555555); max-width: 100%; border-radius: 3px; - background-color: #eeeeee; - background-image: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(20%, #f4f4f4), color-stop(50%, #f0f0f0), color-stop(52%, #e8e8e8), color-stop(100%, #eeeeee)); - background-image: -webkit-linear-gradient(#f4f4f4 20%, #f0f0f0 50%, #e8e8e8 52%, #eeeeee 100%); - background-image: -moz-linear-gradient(#f4f4f4 20%, #f0f0f0 50%, #e8e8e8 52%, #eeeeee 100%); - background-image: -o-linear-gradient(#f4f4f4 20%, #f0f0f0 50%, #e8e8e8 52%, #eeeeee 100%); - background-image: linear-gradient(#f4f4f4 20%, #f0f0f0 50%, #e8e8e8 52%, #eeeeee 100%); + background-color: light-dark(#eeeeee, #282828); + background-image: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(20%, light-dark(#f4f4f4, #242424)), color-stop(50%, light-dark(#f0f0f0, #252525)), color-stop(52%, light-dark(#e8e8e8, #2a2a2a)), color-stop(100%, light-dark(#eeeeee, #282828))); + background-image: -webkit-linear-gradient(light-dark(#f4f4f4, #242424) 20%, light-dark(#f0f0f0, #252525) 50%, light-dark(#e8e8e8, #2a2a2a) 52%, light-dark(#eeeeee, #282828) 100%); + background-image: -moz-linear-gradient(light-dark(#f4f4f4, #242424) 20%, light-dark(#f0f0f0, #252525) 50%, light-dark(#e8e8e8, #2a2a2a) 52%, light-dark(#eeeeee, #282828) 100%); + background-image: -o-linear-gradient(light-dark(#f4f4f4, #242424) 20%, light-dark(#f0f0f0, #252525) 50%, light-dark(#e8e8e8, #2a2a2a) 52%, light-dark(#eeeeee, #282828) 100%); + background-image: linear-gradient(light-dark(#f4f4f4, #242424) 20%, light-dark(#f0f0f0, #252525) 50%, light-dark(#e8e8e8, #2a2a2a) 52%, light-dark(#eeeeee, #282828) 100%); background-size: 100% 19px; background-repeat: repeat-x; background-clip: padding-box; - box-shadow: 0 0 2px white inset, 0 1px 0 rgba(0, 0, 0, 0.05); - color: #333; + box-shadow: 0 0 2px light-dark(white, #1e1e1e) inset, 0 1px 0 light-dark(rgba(0, 0, 0, 0.05), rgba(0, 0, 0, 0.2)); + color: light-dark(#333, #cccccc); line-height: 13px; cursor: default; } @@ -280,17 +280,17 @@ This file is generated by `grunt build`, do not edit it by hand. } .chosen-container-multi .chosen-choices li.search-choice-disabled { padding-right: 5px; - border: 1px solid #ccc; - background-color: #e4e4e4; - background-image: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(20%, #f4f4f4), color-stop(50%, #f0f0f0), color-stop(52%, #e8e8e8), color-stop(100%, #eeeeee)); - background-image: -webkit-linear-gradient(top, #f4f4f4 20%, #f0f0f0 50%, #e8e8e8 52%, #eeeeee 100%); - background-image: -moz-linear-gradient(top, #f4f4f4 20%, #f0f0f0 50%, #e8e8e8 52%, #eeeeee 100%); - background-image: -o-linear-gradient(top, #f4f4f4 20%, #f0f0f0 50%, #e8e8e8 52%, #eeeeee 100%); - background-image: linear-gradient(top, #f4f4f4 20%, #f0f0f0 50%, #e8e8e8 52%, #eeeeee 100%); - color: #666; + border: 1px solid light-dark(#ccc, #444444); + background-color: light-dark(#e4e4e4, #2e2e2e); + background-image: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(20%, light-dark(#f4f4f4, #242424)), color-stop(50%, light-dark(#f0f0f0, #252525)), color-stop(52%, light-dark(#e8e8e8, #2a2a2a)), color-stop(100%, light-dark(#eeeeee, #282828))); + background-image: -webkit-linear-gradient(top, light-dark(#f4f4f4, #242424) 20%, light-dark(#f0f0f0, #252525) 50%, light-dark(#e8e8e8, #2a2a2a) 52%, light-dark(#eeeeee, #282828) 100%); + background-image: -moz-linear-gradient(top, light-dark(#f4f4f4, #242424) 20%, light-dark(#f0f0f0, #252525) 50%, light-dark(#e8e8e8, #2a2a2a) 52%, light-dark(#eeeeee, #282828) 100%); + background-image: -o-linear-gradient(top, light-dark(#f4f4f4, #242424) 20%, light-dark(#f0f0f0, #252525) 50%, light-dark(#e8e8e8, #2a2a2a) 52%, light-dark(#eeeeee, #282828) 100%); + background-image: linear-gradient(top, light-dark(#f4f4f4, #242424) 20%, light-dark(#f0f0f0, #252525) 50%, light-dark(#e8e8e8, #2a2a2a) 52%, light-dark(#eeeeee, #282828) 100%); + color: light-dark(#666, #aaaaaa); } .chosen-container-multi .chosen-choices li.search-choice-focus { - background: #d4d4d4; + background: light-dark(#d4d4d4, #3c3c3c); } .chosen-container-multi .chosen-choices li.search-choice-focus .search-choice-close { background-position: -42px -10px; @@ -301,7 +301,7 @@ This file is generated by `grunt build`, do not edit it by hand. } .chosen-container-multi .chosen-drop .result-selected { display: list-item; - color: #ccc; + color: light-dark(#ccc, #444444); cursor: default; } @@ -309,20 +309,20 @@ This file is generated by `grunt build`, do not edit it by hand. /* @group Active */ .chosen-container-active .chosen-single { border: 1px solid #5897fb; - box-shadow: 0 0 5px rgba(0, 0, 0, 0.3); + box-shadow: 0 0 5px light-dark(rgba(0, 0, 0, 0.3), rgba(0, 0, 0, 0.6)); } .chosen-container-active.chosen-with-drop .chosen-single { - border: 1px solid #aaa; + border: 1px solid light-dark(#aaa, #555555); -moz-border-radius-bottomright: 0; border-bottom-right-radius: 0; -moz-border-radius-bottomleft: 0; border-bottom-left-radius: 0; - background-image: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(20%, #eeeeee), color-stop(80%, #ffffff)); - background-image: -webkit-linear-gradient(#eeeeee 20%, #ffffff 80%); - background-image: -moz-linear-gradient(#eeeeee 20%, #ffffff 80%); - background-image: -o-linear-gradient(#eeeeee 20%, #ffffff 80%); - background-image: linear-gradient(#eeeeee 20%, #ffffff 80%); - box-shadow: 0 1px 0 #fff inset; + background-image: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(20%, light-dark(#eeeeee, #282828)), color-stop(80%, light-dark(#ffffff, #1e1e1e))); + background-image: -webkit-linear-gradient(light-dark(#eeeeee, #282828) 20%, light-dark(#ffffff, #1e1e1e) 80%); + background-image: -moz-linear-gradient(light-dark(#eeeeee, #282828) 20%, light-dark(#ffffff, #1e1e1e) 80%); + background-image: -o-linear-gradient(light-dark(#eeeeee, #282828) 20%, light-dark(#ffffff, #1e1e1e) 80%); + background-image: linear-gradient(light-dark(#eeeeee, #282828) 20%, light-dark(#ffffff, #1e1e1e) 80%); + box-shadow: 0 1px 0 light-dark(#fff, #1e1e1e) inset; } .chosen-container-active.chosen-with-drop .chosen-single div { border-left: none; @@ -333,10 +333,10 @@ This file is generated by `grunt build`, do not edit it by hand. } .chosen-container-active .chosen-choices { border: 1px solid #5897fb; - box-shadow: 0 0 5px rgba(0, 0, 0, 0.3); + box-shadow: 0 0 5px light-dark(rgba(0, 0, 0, 0.3), rgba(0, 0, 0, 0.6)); } .chosen-container-active .chosen-choices li.search-field input[type="text"] { - color: #222 !important; + color: light-dark(#222, #dddddd) !important; } /* @end */ @@ -408,7 +408,7 @@ This file is generated by `grunt build`, do not edit it by hand. } .chosen-rtl .chosen-search input[type="text"] { padding: 4px 5px 4px 20px; - background: white url('chosen-sprite.png') no-repeat -30px -20px; + background: light-dark(white, #1e1e1e) url('chosen-sprite.png') no-repeat -30px -20px; background: url('chosen-sprite.png') no-repeat -30px -20px; direction: rtl; }