2022-06-27 08:53:51 +08:00
|
|
|
|
|
|
|
|
box {
|
|
|
|
|
/* Uncomment to set vertical margin
|
2022-08-23 00:01:02 +08:00
|
|
|
margin-top: 20px;
|
2022-06-27 08:53:51 +08:00
|
|
|
margin-bottom: 30px;
|
|
|
|
|
*/
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#searchbox {
|
|
|
|
|
/* Adjust to your taste */
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Menu items */
|
|
|
|
|
#commands {
|
|
|
|
|
padding-left: 5px
|
|
|
|
|
}
|
