body[class*=category-5-] .topic-body .cooked{-webkit-user-select:none !important;user-select:none !important}body[class*=category-5-] .topic-body .cooked pre,body[class*=category-5-] .topic-body .cooked code{-webkit-user-select:text !important;user-select:text !important}
/*# sourceMappingURL=common_theme_9_5af07157bd564ad2f785ee3c5dc6152759c59001.css.map?__ws=river-side.cc */