diff --git a/theme/base/config.php b/theme/base/config.php index 210dd329e01..5dd2f12e417 100644 --- a/theme/base/config.php +++ b/theme/base/config.php @@ -51,7 +51,8 @@ $THEME->sheets = array( 'tabs', 'filemanager', 'templates', - 'autocomplete' + 'autocomplete', + 'search' ); $THEME->editor_sheets = array('editor'); diff --git a/theme/base/style/search.css b/theme/base/style/search.css new file mode 100644 index 00000000000..baae4cda101 --- /dev/null +++ b/theme/base/style/search.css @@ -0,0 +1,14 @@ +.search-results .result { + margin-left: 0; + margin-right: 0; +} + +.dir-rtl .search-results .result { + margin-right: 15px; + margin-left: 0; +} + +.search-results .result .result-content { + margin: 7px 0; +} + diff --git a/theme/bootstrapbase/layout/columns1.php b/theme/bootstrapbase/layout/columns1.php index 7c9a8b39e7a..97b9672a3c1 100644 --- a/theme/bootstrapbase/layout/columns1.php +++ b/theme/bootstrapbase/layout/columns1.php @@ -43,6 +43,7 @@ echo $OUTPUT->doctype() ?> ?> navbar_button(); ?> user_menu(); ?> + search_box(); ?>